===================================================================
RCS file: /home/cvs/OpenXM/src/ox_pari/ox_pari.h,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- OpenXM/src/ox_pari/ox_pari.h	2020/08/26 06:03:31	1.3
+++ OpenXM/src/ox_pari/ox_pari.h	2021/03/25 07:03:21	1.4
@@ -15,6 +15,7 @@
 void init_pari(void);
 cmo_error2 *make_error2(char *message);
 
+int gmp_check(void);
 cmo *GEN_to_cmo(GEN z);
 cmo_zz *GEN_to_cmo_zz(GEN z);
 cmo_qq *GEN_to_cmo_qq(GEN z);