You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
13 lines
330 B
13 lines
330 B
--- src.orig/include/NTL/new.h 2012-08-06 17:12:25.658913083 +0200
|
|
+++ src/include/NTL/new.h 2012-08-06 17:11:15.002915713 +0200
|
|
@@ -12,7 +12,8 @@
|
|
|
|
#include <new>
|
|
|
|
-#define NTL_NEW_OP new (std::nothrow)
|
|
+// commenting std::nothrow makes this ntl work properly with Singular
|
|
+#define NTL_NEW_OP new //(std::nothrow)
|
|
|
|
|
|
#else
|