From e8b35c4b975a46a5dc5e0c022897359cbfe2d72b Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 6 Feb 2019 18:45:04 +0100 Subject: Makefiles now use rules.mk, and added a prohibition of unprototyped functions --- test/monniaux/picosat-965/picosat.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'test/monniaux/picosat-965/picosat.c') diff --git a/test/monniaux/picosat-965/picosat.c b/test/monniaux/picosat-965/picosat.c index 2d3c96b7..31b299c0 100644 --- a/test/monniaux/picosat-965/picosat.c +++ b/test/monniaux/picosat-965/picosat.c @@ -3366,6 +3366,7 @@ report (PS * ps, int replevel, char type) { if (ps->reports >= 0) fprintf (ps->out, "%s%c ", ps->prefix, type); +#ifdef DMONNIAUX_DISABLE relem (ps, "seconds", 1, ps->seconds); relem (ps, "level", 1, avglevel (ps)); @@ -3390,6 +3391,7 @@ report (PS * ps, int replevel, char type) // relem (ps, "llused", 0, ps->llused); relem (ps, 0, 0, 0); +#endif ps->reports++; } @@ -5455,7 +5457,6 @@ simplify (PS * ps, int forced) ps->lsimplify = ps->propagations + delta; ps->fsimplify = ps->fixed; ps->simps++; - report (ps, 1, 's'); } -- cgit