fixed coercions undoooing

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

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