From 52b60c4114b1063bb1f9d04c719bc1417c7801bc Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 31 Aug 2022 00:47:11 -0400
Subject: [PATCH] fix(main): method for measuring memory overhead was wrong

---
 src/smtlib/Process.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smtlib/Process.ml b/src/smtlib/Process.ml
index 787335cb..1ad041e6 100644
--- a/src/smtlib/Process.ml
+++ b/src/smtlib/Process.ml
@@ -166,7 +166,7 @@ let solve ?gc:_ ?restarts:_ ?proof_file ?(pp_model = false) ?(check = false)
         if Sys.time () -. t1 > time then (
           Log.debugf 0 (fun k -> k "timeout");
           true
-        ) else if (Gc.quick_stat ()).Gc.major_words *. 8. > memory then (
+        ) else if float (Gc.quick_stat ()).Gc.heap_words *. 8. > memory then (
           Log.debugf 0 (fun k -> k "%S" "exceeded memory limit");
           true
         ) else