From 18075e71ca3626fd55e868009a415506920428fd Mon Sep 17 00:00:00 2001
From: Denis Davydov <davydden@gmail.com>
Date: Sun, 1 Mar 2015 18:14:10 +0100
Subject: [PATCH] instantiate Vector<int>

---
 source/lac/vector.cc | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/source/lac/vector.cc b/source/lac/vector.cc
index 42fb1af5bc..18dee6b06d 100644
--- 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
-- 
2.39.5