X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita.ml;fp=matita%2Fmatita.ml;h=5a638b48d79bb86fd39188b0c9cbe753aead9e63;hb=06e2976ca4ef6bdfe14beba14ba538a2479c51a8;hp=783b8c0231ed14654b623dd93891c248ca861e9c;hpb=4216d3e6b09d1be8784ee9394f6c7f5aed4300a7;p=helm.git

diff --git a/matita/matita.ml b/matita/matita.ml
index 783b8c023..5a638b48d 100644
--- a/matita/matita.ml
+++ b/matita/matita.ml
@@ -173,7 +173,7 @@ let _ =
      addDebugItem "Print current proof (natural language) to stderr" 
        (fun _ -> 
         prerr_endline 
-          (ObjPp.obj_to_string 120 
+          (ObjPp.obj_to_string 120 GrafiteAst.Declarative "" 
             (match 
             (MatitaScript.current ())#grafite_status.GrafiteTypes.proof_status
             with