diff options
Diffstat (limited to 'interpret')
| -rw-r--r-- | interpret/data.ml | 6 | ||||
| -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) |