Remove added newline (by re-running minisat 00_UPDATE.sh)
authorClifford Wolf <clifford@clifford.at>
Wed, 8 May 2019 09:26:58 +0000 (11:26 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 8 May 2019 09:26:58 +0000 (11:26 +0200)
commitcaad497839d0d3aa91b02ce970968ad4e2c1ad88
tree98db1e3d452eedfa633eef58c7f2cb06ed391b71
parent3870e7cf29e2f59a10257babebab6bc37bc97c01
Remove added newline (by re-running minisat 00_UPDATE.sh)

Signed-off-by: Clifford Wolf <clifford@clifford.at>
libs/minisat/Vec.h