Code refactoring:

[tatoo.git] / src / xpath / compile.ml

diff --git a/src/xpath/compile.ml b/src/xpath/compile.ml
index 2588432..0038506 100644 (file)
--- 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