summaryrefslogtreecommitdiff
path: root/interpret
diff options
context:
space:
mode:
Diffstat (limited to 'interpret')
-rw-r--r--interpret/data.ml6
-rw-r--r--interpret/interpret.ml (renamed from interpret/interpret2.ml)2
2 files changed, 2 insertions, 6 deletions
diff --git a/interpret/data.ml b/interpret/data.ml
deleted file mode 100644
index 1d91e93..0000000
--- a/interpret/data.ml
+++ /dev/null
@@ -1,6 +0,0 @@
-(* Data structures for representing the state of a system *)
-
-open Util
-open Ast
-open Ast_util
-
diff --git a/interpret/interpret2.ml b/interpret/interpret.ml
index d6f7731..063dad0 100644
--- a/interpret/interpret2.ml
+++ b/interpret/interpret.ml
@@ -350,6 +350,7 @@ module I : INTERPRET = struct
let save = VarMap.add (node^"/"^prefix^"init") (VBool init) save in
let save_expr save e =
+ (* Save pre expressions *)
let save = List.fold_left
(fun save (id, expr) ->
let n = node^"/"^prefix^id in
@@ -365,6 +366,7 @@ module I : INTERPRET = struct
with Not_found -> save
)
save (extract_pre e) in
+ (* Save recursively in sub instances of nodes *)
let save = List.fold_left
(fun save (n, eqs, _) ->
aux (node^"/"^n, "", eqs) save)