Change default pp width from 20 to 80

EasyCrypt · Aug 20, 2024 · 352f3d8 · 352f3d8
1 parent 3928a0c
commit 352f3d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ecPrinting.ml b/src/ecPrinting.ml
@@ -38,7 +38,7 @@ module PPEnv = struct
 
   let ofenv (env : EcEnv.env) =
     let width =
-      EcGState.asint ~default:0
+      EcGState.asint ~default:80
         (EcGState.getvalue "PP:width" (EcEnv.gstate env)) in
 
     { ppe_env    = env;