summaryrefslogtreecommitdiff
path: root/src/Interpreter.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/Interpreter.ml')
-rw-r--r--src/Interpreter.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index 07c43c10..47b389a3 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -6,6 +6,7 @@ open Errors
module C = Contexts
module Subst = Substitute
module A = CfimAst
+module L = Logging
(* TODO: Change state-passing style to : st -> ... -> (st, v) *)
(* TODO: check that the value types are correct when evaluating *)