simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-07 03:35:38 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

small fix

Browse source
This commit is contained in:
Simon Cruanes 2016-11-02 16:17:49 +01:00
parent bf5e6cf67c
commit 33ea26c4f5
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/core/external.ml
View file

@ -120,7 +120,7 @@ module Make
St.pp_dimacs fmt c'
in
let pp s fmt vec =
Format.fprintf fmt "c %s@,%a" s (Vec.print ~sep:"" aux) vec
Format.fprintf fmt "c %s@,%a@," s (Vec.print ~sep:"" aux) vec
in
Format.fprintf fmt
"@[<v>p cnf %d %d@,%a%a%a@]@."