(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-03-04 16:36:21 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-04 18:41:11 CEST by Kim Nguyen>
*)
-val path : Ast.path -> Auto.Ata.t
+val path : Ast.path -> Ata.t