From 5d717256d3b856d8f29c4a5e442af624f0b0bb69 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 10 Feb 2017 18:14:06 -0800
Subject: Updates to the autotuner.

---
 src/sat/satoko/types.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/satoko')

diff --git a/src/sat/satoko/types.h b/src/sat/satoko/types.h
index 7865ab0e..5d5d4b98 100644
--- a/src/sat/satoko/types.h
+++ b/src/sat/satoko/types.h
@@ -18,7 +18,7 @@ ABC_NAMESPACE_HEADER_START
 
 #define SATOKO_ACT_VAR_DBLE
 // #define SATOKO_ACT_VAR_FIXED
-// #define SATOKO_ACT_CLAUSE_FLOAT
+#define SATOKO_ACT_CLAUSE_FLOAT
 
 #ifdef SATOKO_ACT_VAR_DBLE
     #define VAR_ACT_INIT_INC 1.0
-- 
cgit v1.2.3