revert debug printing for locals

Author: oskgo

src/ecPrinting.ml

@@ -620,10 +620,7 @@ let pp_modtype1 (ppe : PPEnv.t) fmt mty =
 
 (* -------------------------------------------------------------------- *)
 let pp_local (ppe : PPEnv.t) fmt x =
-  if debug_mode then
-    Format.fprintf fmt "%s<%s>" (EcIdent.name x) (EcIdent.tostring_internal x)
-  else
-    Format.fprintf fmt "%s" (EcIdent.name x)
+  Format.fprintf fmt "%s" (EcIdent.name x)
 
 (* -------------------------------------------------------------------- *)
 let pp_local ?fv (ppe : PPEnv.t) fmt x =