From bf5e6cf67c0f915c1f4d35dbf37e375a0166d7fc Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 2 Nov 2016 16:11:37 +0100
Subject: [PATCH] better dimacs printing

---
 src/core/external.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/core/external.ml b/src/core/external.ml
index 13771c99..9feb2d5a 100644
--- a/src/core/external.ml
+++ b/src/core/external.ml
@@ -120,10 +120,10 @@ module Make
       St.pp_dimacs fmt c'
     in
     let pp s fmt vec =
-      Format.fprintf fmt "c %s@\n%a" s (Vec.print ~sep:"\n" aux) vec
+      Format.fprintf fmt "c %s@,%a" s (Vec.print ~sep:"" aux) vec
     in
     Format.fprintf fmt
-      "p cnf %d %d@\n%a%a%a"
+      "@[<v>p cnf %d %d@,%a%a%a@]@."
       n m
       (pp "Local assumptions") tmp
       (pp "Hypotheses") hyps