summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/InterpreterUtils.ml2
-rw-r--r--src/main.ml3
2 files changed, 4 insertions, 1 deletions
diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml
index 5f86fec2..1f8e47e0 100644
--- a/src/InterpreterUtils.ml
+++ b/src/InterpreterUtils.ml
@@ -6,6 +6,8 @@ module E = Expressions
module C = Contexts
module Subst = Substitute
module A = CfimAst
+module L = Logging
+open ValuesUtils
open Utils
open TypesUtils
diff --git a/src/main.ml b/src/main.ml
index e5c3c324..ac49b782 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -6,7 +6,8 @@ module A = CfimAst
module I = Interpreter
(* 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 =