From 1bd19a8bdcd5f2208f1fbc64c94c9e9a9a8236e4 Mon Sep 17 00:00:00 2001
From: Denis Davydov <davydden@gmail.com>
Date: Thu, 9 Jul 2015 13:09:05 +0200
Subject: [PATCH] instantiate internal::Vector::copy_vector<int,int>()

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

diff --git a/source/lac/vector.cc b/source/lac/vector.cc
index e95b25dcee..b3aeeb3f06 100644
--- a/source/lac/vector.cc
+++ b/source/lac/vector.cc
@@ -27,6 +27,9 @@ namespace internal
   {
     template void copy_vector<int,double> (const dealii::Vector<int> &,
                                            dealii::Vector<double> &);
+
+    template void copy_vector<int,int> (const dealii::Vector<int> &,
+                                        dealii::Vector<int> &);
   }
 }
 
-- 
2.39.5