X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaScript.mli;h=cfc4655414bc08acaca2528aa175fa93c85a8da6;hb=379370d2daa790aca069b8a8cc22c7a5146ca5fa;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