* Seal the representation of states

[tatoo.git] / src / run.ml

diff --git a/src/run.ml b/src/run.ml
index be8bbeb..0ae25f9 100644 (file)
--- a/src/run.ml
+++ b/src/run.ml
@@ -66,7 +66,7 @@ struct
       ((Obj.magic kind) lsl 4)
 end
 
-let dummy_set = StateSet.singleton State.dummy
+let dummy_set = StateSet.singleton State.dummy_state
 
 
 
@@ -107,9 +107,9 @@ type 'a run = {
   stats : stats;
 }
 
-let dummy_form = Ata.Formula.stay State.dummy
+let dummy_form = Ata.Formula.stay State.dummy_state
 
-let get_form run tag q =
+let get_form run tag (q : State.t) =
   let auto = run.auto in
   let fetch_trans_cache = run.fetch_trans_cache in
   let stats = run.stats in
@@ -211,7 +211,7 @@ struct
     {
       tree = tree;
       auto = auto;
-      sat = (let a = Array.create len StateSet.empty in
+      sat = (let a = Array.make len StateSet.empty in
              IFHTML([a], a));
       pass = 0;
       fetch_trans_cache = Cache.N2.create dummy_form;