From 1fc26cf05b90c167d2f02599cc75b9df26e4d623 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Tue, 4 Jun 2019 12:15:16 +0200 Subject: remove old "ternary" stuff --- test/monniaux/picosat-965/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/monniaux/picosat-965') diff --git a/test/monniaux/picosat-965/Makefile b/test/monniaux/picosat-965/Makefile index d3322bcb..e13087de 100644 --- a/test/monniaux/picosat-965/Makefile +++ b/test/monniaux/picosat-965/Makefile @@ -7,7 +7,7 @@ ALL_CFLAGS = -DNALARM -DNZIP -DNGETRUSAGE -DNDEBUG K1C_CFLAGS += $(EMBEDDED_CFLAGS) K1C_CCOMPFLAGS += $(EMBEDDED_CFLAGS) CCOMPFLAGS += -fbitfields -K1C_CCOMPFLAGS += -fbitfields +K1C_CCOMPFLAGS += -fbitfields -fno-if-conversion K1C_CFLAGS += $(ALL_CFLAGS) K1C_CCOMPFLAGS += $(ALL_CFLAGS) -- cgit