fixed currentproof

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

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index bc42bba543676965d535706552c80dcf749fcd1d..6b7af6983ea4ef8ced4b091da5d276ad6d4d479c 100644 (file)
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -56,8 +56,6 @@ let disambiguator =
     ~chooseInterp:(interactive_interp_choice ~gui)
     ()
 
-let currentProof = new MatitaProof.currentProof
-
 let currentProof = MatitaProof.instance ()