From 8ab625c3fa9ba72506218954571c40d6ac94e38c Mon Sep 17 00:00:00 2001
From: Matthias Hochsteger <matthias.hochsteger@tuwien.ac.at>
Date: Thu, 3 Jan 2019 15:55:51 +0100
Subject: [PATCH] Fix build error

---
 libsrc/core/archive.hpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/libsrc/core/archive.hpp b/libsrc/core/archive.hpp
index 04915cbc..6a4a0792 100644
--- a/libsrc/core/archive.hpp
+++ b/libsrc/core/archive.hpp
@@ -209,7 +209,6 @@ namespace ngcore
     // vector<bool> has special implementation (like a bitarray) therefore
     // it needs a special overload (this could probably be more efficient, but we
     // don't use it that often anyway)
-    template<>
     Archive& operator& (std::vector<bool>& v)
     {
       size_t size;