842b95e
--- singular-4.1.1/factory/ftmpl_inst.cc.orig	2018-07-31 07:05:52.000000000 -0600
842b95e
+++ singular-4.1.1/factory/ftmpl_inst.cc	2018-10-24 08:35:33.090883509 -0600
842b95e
@@ -73,7 +73,7 @@ template List<Variable> Difference ( con
7addda8
 // NTL 6
7addda8
 #ifdef HAVE_NTL
7addda8
 #include<NTL/version.h>
7addda8
-#if NTL_MAJOR_VERSION == 6
7addda8
+#if NTL_MAJOR_VERSION >= 6
Jerry James 7a725dc
 
7addda8
 #include<NTL/tools.h>
7addda8
 #include<NTL/lzz_pE.h>