summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/Interpreter.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index 9af0f936..66245572 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -6,9 +6,11 @@ open CfimAst
open Print.Values
open Errors
open Contexts
+module Subst = Substitute
(* TODO: Change state-passing style to : st -> ... -> (st, v) *)
(* TODO: check that the value types are correct when evaluating *)
+(* TODO: module Type = T, etc. *)
type eval_error = Panic