12 lines
375 B
Diff
12 lines
375 B
Diff
--- singular-4.1.1/factory/ftmpl_inst.cc.orig 2018-07-31 07:05:52.000000000 -0600
|
|
+++ singular-4.1.1/factory/ftmpl_inst.cc 2018-10-24 08:35:33.090883509 -0600
|
|
@@ -73,7 +73,7 @@ template List<Variable> Difference ( con
|
|
// NTL 6
|
|
#ifdef HAVE_NTL
|
|
#include<NTL/version.h>
|
|
-#if NTL_MAJOR_VERSION == 6
|
|
+#if NTL_MAJOR_VERSION >= 6
|
|
|
|
#include<NTL/tools.h>
|
|
#include<NTL/lzz_pE.h>
|