X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fgrafite%2FgrafiteMarshal.mli;h=e60ad39d8daa370ee9c4fdd21bcbf9f564e710ad;hb=c53208425a6bbd9890ab35c637a44d997c8ac263;hp=4b49cfc41d771f095713ea0962ea6b6026bb1252;hpb=55ba0a660f91e491e904dad63b14ddf2bcc2754d;p=helm.git

diff --git a/helm/ocaml/grafite/grafiteMarshal.mli b/helm/ocaml/grafite/grafiteMarshal.mli
index 4b49cfc41..e60ad39d8 100644
--- a/helm/ocaml/grafite/grafiteMarshal.mli
+++ b/helm/ocaml/grafite/grafiteMarshal.mli
@@ -23,11 +23,6 @@
  * http://helm.cs.unibo.it/
  *)
 
-  (** name of the corrupt .moo file *)
-exception Checksum_failure of string
-exception Corrupt_moo of string
-exception Version_mismatch of string
-
 type ast_command = Cic.obj GrafiteAst.command
 type moo = ast_command list