blob: e08fa774e298b3f81d2e986d884653b6b406b76f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
diff -druN flint-2.5.orig/interfaces/NTL-interface.cpp flint-2.5/interfaces/NTL-interface.cpp
--- flint-2.5.orig/interfaces/NTL-interface.cpp 2014-07-16 07:50:40.000000000 -0700
+++ flint-2.5/interfaces/NTL-interface.cpp 2014-08-26 07:51:55.585884615 -0700
@@ -32,9 +32,7 @@
#include <NTL/ZZ.h>
#include <NTL/ZZX.h>
#include <NTL/mat_ZZ.h>
-#include <NTL/lip.h>
#include <NTL/ctools.h>
-#include <NTL/g_lip.h>
#include <gmp.h>
#include "flint.h"
|