From f1b7f9062edbe5feeb64685b029c6f001fb4e048 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 7 Sep 2017 23:02:26 -0700
Subject: Experiments with Glucose.

---
 src/sat/glucose/Glucose.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/glucose/Glucose.cpp b/src/sat/glucose/Glucose.cpp
index 479f08f9..8d520474 100644
--- a/src/sat/glucose/Glucose.cpp
+++ b/src/sat/glucose/Glucose.cpp
@@ -226,7 +226,7 @@ bool Solver::addClause_(vec<Lit>& ps)
 
     if ( 0 ) {
         for ( int i = 0; i < ps.size(); i++ )
-            printf( "%d ", ps[i] );
+            printf( "%d ", toInt(ps[i]) );
         printf( "\n" );
     }
 
-- 
cgit v1.2.3