X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationPp.ml;h=b5a2e04f22a9b9e837ce4694a4d1a6234c815949;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=e5ff1587fc83e9bec9002fab4b6059db9fdcea9b;hpb=e4d0e879c6288190ae793e1425b1ed74e40346c4;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationPp.ml b/helm/ocaml/cic_notation/cicNotationPp.ml
index e5ff1587f..b5a2e04f2 100644
--- 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"