missing include with recent FLINT

As of FLINT cb7513b59d050cd2939c631533fb1f1ebae81508, the #include directives already present are not enough to define mp_limb_t.
JohnCremona · Nov 30, 2024 · d9992fa · d9992fa
1 parent 04475bd
commit d9992fa
Showing 1 changed file with 1 addition and 0 deletions.
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)