From 573dc89a52224be4c0887ae98d677305605b0539 Mon Sep 17 00:00:00 2001
From: Son HO
Date: Thu, 22 Sep 2022 16:29:32 +0200
Subject: Update src/FunsAnalysis.ml

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

(limited to 'src')

diff --git a/src/FunsAnalysis.ml b/src/FunsAnalysis.ml
index 33f77f89..5a37a0a3 100644
--- a/src/FunsAnalysis.ml
+++ b/src/FunsAnalysis.ml
@@ -94,6 +94,7 @@ let analyze_module (m : llbc_module)
             super#visit_Loop env loop
         end
       in
+      (* Sanity check: global bodies don't contain stateful calls *)
       assert (not f.is_global_body || not !stateful);
       (match f.body with
       | None ->
-- 
cgit v1.2.3