Restart anew ; done nonrelational stuff, interpret remains, intervals domain remains

1 files changed, 4 insertions, 7 deletions

diff --git a/main.ml b/main.ml
index 91ac4b1..e09ac0e 100644
--- a/main.ml
+++ b/main.ml
@@ -12,18 +12,15 @@
 *)
 
 open Abstract_syntax_tree
-open Constant_domain
+
+module Env_dom = Nonrelational.NonRelational(Constant_domain.Constants)
+module Interp = Interpret.Make(Env_dom)
 
 (* parse and print filename *)
 let doit filename =
   let prog = File_parser.parse_file filename in
   Abstract_syntax_printer.print_prog Format.std_formatter prog;
-  List.fold_left
-    (fun s x -> match x with
-      | AST_stat(stat, _) -> CD.interp_abs(stat) s
-      | _ -> s)
-    CD.top_ts
-    (fst prog)
+  Interp.interpret prog
 
 (* parses arguments to get filename *)
 let main () =