X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fxpath%2Fcompile.ml;h=0038506ab24873e1d3c487960ceb22e7dc408775;hb=03b6a364e7240ca827585e7baff225a0aaa33bc6;hp=2588432c3993ce2ff36a36b2bd6770ddf5b09a6c;hpb=53a0fd29a20e7f4550e0eb5fa5b0d5af6191c36d;p=tatoo.git

diff --git a/src/xpath/compile.ml b/src/xpath/compile.ml
index 2588432..0038506 100644
--- a/src/xpath/compile.ml
+++ b/src/xpath/compile.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-13 11:02:32 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-15 18:17:50 CET by Kim Nguyen>
 *)
 
 open Ast
@@ -235,9 +235,7 @@ let path p =
     in
     (StateSet.add ms ams), natrs, nasts) (StateSet.empty, [], StateSet.empty) p
   in
-  let a = Ata.create () in
-  a.Ata.states <- states;
-  a.Ata.selection_states <- mstates;
+  let a = Ata.create states  mstates in
   List.iter (fun (q, l) ->
     List.iter (fun (lab, phi) ->
       Ata.add_trans a q lab phi