diff options
-rw-r--r-- | test/monniaux/picosat-965/tiny.dat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/picosat-965/tiny.dat b/test/monniaux/picosat-965/tiny.dat index 030df0e5..1d89b303 100644 --- a/test/monniaux/picosat-965/tiny.dat +++ b/test/monniaux/picosat-965/tiny.dat @@ -1,2 +1,2 @@ -p cnf 1 1 +p cnf 0 1 0 |