From 78d7b02570c4cd464dfb64994fd9f2eb69bec8a8 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 20 Mar 2019 13:10:42 +0100
Subject: picomus compile aussi

---
 test/monniaux/picosat-965/picomus.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/monniaux/picosat-965/picomus.c')

diff --git a/test/monniaux/picosat-965/picomus.c b/test/monniaux/picosat-965/picomus.c
index c956001b..0f559ded 100644
--- a/test/monniaux/picosat-965/picomus.c
+++ b/test/monniaux/picosat-965/picomus.c
@@ -253,7 +253,7 @@ int main (int argc, char ** argv) {
     exit (1);
   }
   if (fclose_input) fclose (input_file);
-#ifdef NZIP
+#ifndef NZIP
   if (pclose_input) pclose (input_file);
 #endif
   ps = picosat_init ();
-- 
cgit