Every exception that used to have type string is now a string Lazy.t.

[helm.git] / helm / ocaml / tactics / continuationals.mli

diff --git a/helm/ocaml/tactics/continuationals.mli b/helm/ocaml/tactics/continuationals.mli
index e89e2e51d17e6734d31cefe93dc9d1cf5f2a297c..109dbaf99790e71ee2682ead2547e218aa62aa28 100644 (file)
--- a/helm/ocaml/tactics/continuationals.mli
+++ b/helm/ocaml/tactics/continuationals.mli
@@ -23,7 +23,7 @@
  * http://helm.cs.unibo.it/
  *)
 
-exception Error of string
+exception Error of string Lazy.t
 
 module type Engine =
 sig