From fa491861faed3ba5ed4fe806b55bea663a29579c Mon Sep 17 00:00:00 2001
From: Sidney Congard
Date: Thu, 11 Aug 2022 10:39:04 +0200
Subject: Correct assertion for stateless globals

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

(limited to 'src')

diff --git a/src/FunsAnalysis.ml b/src/FunsAnalysis.ml
index 65a130c8..39fa316d 100644
--- a/src/FunsAnalysis.ml
+++ b/src/FunsAnalysis.ml
@@ -94,7 +94,7 @@ let analyze_module (m : llbc_module)
             super#visit_Loop env loop
         end
       in
-      assert (not f.is_global_body || not use_state);
+      assert (not f.is_global_body || not !stateful);
       (match f.body with
       | None ->
           (* Opaque function *)
-- 
cgit v1.2.3