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

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