X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaScript.mli;h=cfc4655414bc08acaca2528aa175fa93c85a8da6;hb=b6f12c7851b23c4793a9fe279c4439b84c817b23;hp=8eb6d8dd9afc0d44596d6bde9c696a0c0249d033;hpb=0b79601e4c529cacbba2b64f99f3548df412f254;p=helm.git

diff --git a/helm/matita/matitaScript.mli b/helm/matita/matitaScript.mli
index 8eb6d8dd9..cfc465541 100644
--- a/helm/matita/matitaScript.mli
+++ b/helm/matita/matitaScript.mli
@@ -24,6 +24,7 @@
  *)
 
 exception NoUnfinishedProof
+exception ActionCancelled
 
 class type script =
 object