X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Frun.ml;h=0ae25f9cf5693c6136ac07fe7a12859e75228743;hp=be8bbebcb30bd421fc4ecf1e76ca4ec520cb1872;hb=4f265eb7d78b740292b5543d94f9f0fa40d206d5;hpb=31d45495fda9a110fd348f8b492761c28b434ec9

diff --git a/src/run.ml b/src/run.ml
index be8bbeb..0ae25f9 100644
--- 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;