X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgrafite_engine%2FgrafiteTypes.mli;h=a8b86c27639fc9fe0f678332c7c1c94aeb4f5e1f;hb=4c2a5e7da43e15d9a5f35d65f6bd6eda9a117d93;hp=70089623b09479f097a41b79cbb18cf981e405c3;hpb=827e35d6058ebba3a4a4fa6eb3c160f0cd0fd1e8;p=helm.git

diff --git a/helm/ocaml/grafite_engine/grafiteTypes.mli b/helm/ocaml/grafite_engine/grafiteTypes.mli
index 70089623b..a8b86c276 100644
--- a/helm/ocaml/grafite_engine/grafiteTypes.mli
+++ b/helm/ocaml/grafite_engine/grafiteTypes.mli
@@ -23,10 +23,14 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 exception Option_error of string * string
 exception Statement_error of string
 exception Command_error of string
 
+val command_error: string -> 'a   (** @raise Command_error *)
+
 type incomplete_proof = {
   proof: ProofEngineTypes.proof;
   stack: Continuationals.Stack.t;