ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_notation / cicNotationPp.ml

diff --git a/helm/ocaml/cic_notation/cicNotationPp.ml b/helm/ocaml/cic_notation/cicNotationPp.ml
index e5ff1587fc83e9bec9002fab4b6059db9fdcea9b..b5a2e04f22a9b9e837ce4694a4d1a6234c815949 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationPp.ml
+++ b/helm/ocaml/cic_notation/cicNotationPp.ml
@@ -32,7 +32,7 @@ module Env = CicNotationEnv
    * be added to the output of pp_term.
    * set to false if you need, for example, cut and paste from matitac output to
    * matitatop *)
-let debug_printing = false
+let debug_printing = true
 
 let pp_binder = function
   | `Lambda -> "lambda"
@@ -60,7 +60,7 @@ let pp_assoc =
 
 let pp_pos =
   function
-      `None -> "`None"
+(*      `None -> "`None" *)
     | `Left -> "`Left"
     | `Right -> "`Right"
     | `Inner -> "`Inner"