cc3a73a
--- ./bundled/libnormaliz/apps/polytope/src/normaliz.cc.orig	2015-09-25 13:18:03.809857335 -0600
cc3a73a
+++ ./bundled/libnormaliz/apps/polytope/src/normaliz.cc	2015-09-25 13:26:23.792149925 -0600
cc3a73a
@@ -39,11 +39,11 @@ namespace libnormaliz {
Jerry James 6ad2239
 #include <libnormaliz/cone.h>
Jerry James 9ffc59e
 
Jerry James 6ad2239
 namespace libnormaliz {
Jerry James 6ad2239
-   template<> inline long explicit_cast_to_long(const pm::Integer& a) {
Jerry James 6ad2239
+   inline long explicit_cast_to_long(const pm::Integer& a) {
Jerry James 6ad2239
       return a.to_long();
Jerry James 6ad2239
    }
Jerry James 6ad2239
 
Jerry James 6ad2239
-   template<> pm::Integer int_max_value_half<pm::Integer>(){
Jerry James 6ad2239
+   pm::Integer int_max_value_half(){
Jerry James 6ad2239
       assert(false);
Jerry James 6ad2239
       return 0;
Jerry James 6ad2239
    }