instantiate Vector<int>

diff --git a/source/lac/vector.cc b/source/lac/vector.cc
index 42fb1af5bc9c184c725a44f9ccb1a900de6f8e58..18dee6b06d657115cd64187fa7c341bb120e954d 100644 (file)
--- a/source/lac/vector.cc
+++ b/source/lac/vector.cc
@@ -19,6 +19,21 @@ DEAL_II_NAMESPACE_OPEN
 
 #include "vector.inst"
 
+// instantiate for integers:
+template class Vector<int>;
+namespace internal
+{
+  namespace Vector
+  {
+    template void copy_vector<int,double> (const dealii::Vector<int>&,
+                                           dealii::Vector<double>&);
+  }
+}
+
+template
+void Vector<int>::reinit<double>(const Vector<double>&, const bool);
+
+
 // do a few functions that currently don't fit the scheme because they have
 // two template arguments that need to be different (the case of same
 // arguments is covered by the default copy constructor and copy operator that