snapshot (notably: implemented "check")

[helm.git] / helm / matita / matitaProof.ml

diff --git a/helm/matita/matitaProof.ml b/helm/matita/matitaProof.ml
index 4f485445d45df0dba5918fab2301fa8bac88e3c8..a6f2988d382f28940e64a39a82e6441c0f1c9b5e 100644 (file)
--- a/helm/matita/matitaProof.ml
+++ b/helm/matita/matitaProof.ml
@@ -63,7 +63,7 @@ class proof ?uri ~typ ~metasenv ~body () =
 
     inherit [MatitaTypes.hist_metadata]
       StatefulProofEngine.status
-        ~history_size:BuildTimeConf.history_size ?uri ~typ ~body ~metasenv
+        ~history_size:BuildTimeConf.undo_history_size ?uri ~typ ~body ~metasenv
         init_metadata compute_metadata ()
 
     method toXml =