From c54b9305b5ecbefccd58f18176abbe137e6b7348 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 2 Jul 2021 11:26:17 -0700 Subject: [PATCH] viable Signed-off-by: Nikolaj Bjorner --- src/math/polysat/viable.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/polysat/viable.h b/src/math/polysat/viable.h index ddec88412..4c3e90ed1 100644 --- a/src/math/polysat/viable.h +++ b/src/math/polysat/viable.h @@ -18,7 +18,7 @@ Notes: --*/ #pragma once -#define NEW_VIABLE 1 +#define NEW_VIABLE 0 #include