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 6aa3199b..6c5d3289 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
module PA = Print.EvalCtxCfimAst
diff --git a/src/main.ml b/src/main.ml
index da0b4a0a..d8e9aa40 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -7,7 +7,8 @@ module I = Interpreter
module EL = Easy_logging.Logging
(* 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 =