From cf873d92162cad0cabaa580e18f7412df605cc85 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko
Date: Tue, 4 Jan 2022 12:33:17 -0800
Subject: More compiler warnings

---
 src/InterpreterUtils.ml | 3 ---
 src/Modules.ml          | 1 -
 2 files changed, 4 deletions(-)

diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml
index 17e8abb4..51297eb5 100644
--- a/src/InterpreterUtils.ml
+++ b/src/InterpreterUtils.ml
@@ -1,13 +1,10 @@
 module T = Types
 module V = Values
-open Scalars
 module E = Expressions
-open Errors
 module C = Contexts
 module Subst = Substitute
 module A = CfimAst
 module L = Logging
-open TypesUtils
 open ValuesUtils
 
 (** Some utilities *)
diff --git a/src/Modules.ml b/src/Modules.ml
index 5b76880f..bf5e9835 100644
--- a/src/Modules.ml
+++ b/src/Modules.ml
@@ -1,4 +1,3 @@
-open Yojson.Basic
 open Types
 open CfimAst
 
-- 
cgit v1.2.3


From 9872966d3c7a97ce8cd9ef16ab934ffa09c23e13 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko
Date: Tue, 4 Jan 2022 12:47:27 -0800
Subject: one remark

---
 src/main.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/main.ml b/src/main.ml
index 4616aadf..546f09a8 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -10,7 +10,8 @@ type test = Test [@@deriving show]
 let _ = show_test Test
 
 (* This is necessary to have a backtrace when raising exceptions - for some
- * reason, the -g option doesn't work *)
+ * reason, the -g option doesn't work.
+ * JP: are you running with OCAMLRUNPARAM=b=1? *)
 let () = Printexc.record_backtrace true
 
 let usage = Printf.sprintf {|Aenaes: verification of Rust programs by translation
-- 
cgit v1.2.3


From 6268a942eec4ab143cf898af219f6a1324e5204d Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko
Date: Mon, 10 Jan 2022 11:18:27 -0800
Subject: remove another warning

---
 src/InterpreterUtils.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml
index 6c5d3289..fd596fd3 100644
--- a/src/InterpreterUtils.ml
+++ b/src/InterpreterUtils.ml
@@ -7,7 +7,6 @@ module C = Contexts
 module Subst = Substitute
 module A = CfimAst
 module L = Logging
-open ValuesUtils
 open Utils
 open TypesUtils
 module PA = Print.EvalCtxCfimAst
-- 
cgit v1.2.3