HUGE COMMIT:

[helm.git] / matita / matita / matitaEngine.mli

diff --git a/matita/matita/matitaEngine.mli b/matita/matita/matitaEngine.mli
index 2f7d1b4392ddfedb96b84236914d0514f7670993..d412d3ad03b1555a49cfe0c565bb80789eea25f5 100644 (file)
--- a/matita/matita/matitaEngine.mli
+++ b/matita/matita/matitaEngine.mli
@@ -29,6 +29,13 @@ exception AlreadyLoaded of string Lazy.t
 exception FailureCompiling of string * exn
 exception CircularDependency of string
 
+class status:
+ string ->
+  object
+   inherit GrafiteTypes.status
+   inherit ApplyTransformation.status
+  end
+
 val get_ast:
  GrafiteTypes.status -> include_paths:string list -> GrafiteParser.parsable ->
   GrafiteAst.statement