X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaProof.ml;h=99214e724d85cbd061f927e3c9f9f303ebaed866;hb=fdd8107cc53f5e862004aa5fcd48593ee5634234;hp=54ebdf6cf7663340bf5907d433a63ee3f963854c;hpb=ac813b7e251e4bac1a8a16befa628203775771ca;p=helm.git

diff --git a/helm/matita/matitaProof.ml b/helm/matita/matitaProof.ml
index 54ebdf6cf..99214e724 100644
--- a/helm/matita/matitaProof.ml
+++ b/helm/matita/matitaProof.ml
@@ -151,4 +151,5 @@ let proof ?uri ~metasenv ~typ () =
   new proof ~typ ~metasenv ~body ?uri ()
 
 let currentProof () = new currentProof
+let instance = MatitaMisc.singleton currentProof