From fa5ca582ffc543b8093762d2e0c876b3c6068351 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Thu, 5 Sep 2024 02:37:45 -0400
Subject: Clean up some imports

---
 typecheck.c | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'typecheck.c')

diff --git a/typecheck.c b/typecheck.c
index af1ea770..19860017 100644
--- a/typecheck.c
+++ b/typecheck.c
@@ -1,7 +1,6 @@
 // Logic for getting a type from an AST node
 #include <ctype.h>
 #include <gc.h>
-#include <gmp.h>
 #include <signal.h>
 #include <stdarg.h>
 #include <stdlib.h>
@@ -1369,9 +1368,7 @@ bool is_constant(env_t *env, ast_t *ast)
         auto info = Match(ast, Int);
         if (info->bits == IBITS_UNSPECIFIED) {
             Int_t int_val = Int$from_text(Text$from_str(info->str), NULL);
-            mpz_t i;
-            mpz_init_set_int(i, int_val);
-            return (mpz_cmpabs_ui(i, BIGGEST_SMALL_INT) <= 0);
+            return (Int$compare_value(int_val, I(BIGGEST_SMALL_INT)) <= 0);
         }
         return true;
     }
-- 
cgit v1.2.3