Merge pull request #82 from mezzarobba/master

JohnCremona · web-flow · commit 7b486a82f781 · 2025-01-13T11:12:53.000Z
missing include with recent FLINT
diff --git a/libsrc/eclib/flinterface.h b/libsrc/eclib/flinterface.h
@@ -37,6 +37,7 @@
 
 //#define TRACE_FLINT_RREF
 
+#include <gmp.h>
 #include <flint/flint.h> // must include this first to set __FLINT_VERSION
 
 #if (__FLINT_VERSION>2)
