we started the infrastructure for the procedural rendering of proofs

[helm.git] / matita / matita.ml

diff --git a/matita/matita.ml b/matita/matita.ml
index 783b8c0231ed14654b623dd93891c248ca861e9c..5a638b48d79bb86fd39188b0c9cbe753aead9e63 100644 (file)
--- 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