diff options
Diffstat (limited to 'test/monniaux/picosat-965')
-rw-r--r-- | test/monniaux/picosat-965/small.dat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/picosat-965/small.dat b/test/monniaux/picosat-965/small.dat index ff3d7081..accb9054 100644 --- a/test/monniaux/picosat-965/small.dat +++ b/test/monniaux/picosat-965/small.dat @@ -1,2 +1,2 @@ -p cnf 2 1 -1 2 0 +p cnf 1 1 +1 0 |