X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaEngine.mli;h=e559d5a0ca4f9f63a18350d8b9959a849df4dd77;hb=cd664aefb80554952ed9b010f0c5199ce3a6f8f2;hp=945e7f348d888dea000de4438690e2f31044f0e3;hpb=a5709dff43233c041f77a4ee4b7f2df1a3c51ab6;p=helm.git

diff --git a/matita/matita/matitaEngine.mli b/matita/matita/matitaEngine.mli
index 945e7f348..e559d5a0c 100644
--- a/matita/matita/matitaEngine.mli
+++ b/matita/matita/matitaEngine.mli
@@ -24,12 +24,13 @@
  *)
 
 val eval_ast :
+  include_paths: string list ->
   ?do_heavy_checks:bool ->
   GrafiteTypes.status ->
   string * int *
   GrafiteAst.statement ->
   (GrafiteTypes.status *
-   (DisambiguateTypes.domain_item * LexiconAst.alias_spec) option) list
+   (DisambiguateTypes.domain_item * GrafiteAst.alias_spec) option) list
 
 
 (* heavy checks slow down the compilation process but give you some interesting
@@ -49,4 +50,4 @@ val eval_from_stream :
   Ulexing.lexbuf ->
   (GrafiteTypes.status -> GrafiteAst.statement -> unit) ->
   (GrafiteTypes.status *
-   (DisambiguateTypes.domain_item * LexiconAst.alias_spec) option) list
+   (DisambiguateTypes.domain_item * GrafiteAst.alias_spec) option) list