no GMP compilation

2013-09-06 23:03:24 +01:00
parent 11282b44d7
commit d1ff57b178
2 changed files with 5 additions and 0 deletions
--- a/C/scanner.c
+++ b/C/scanner.c
@@ -260,6 +260,7 @@ read_int_overflow(const char *s, Int base, Int val, int sign)
  mpz_clear(new);
  return t;
 #else
+  CACHE_REGS
  /* try to scan it as a float */
  return MkIntegerTerm(val);
 #endif