From 460f1905e2b2ab0cbde75d6705fe4479b80cf467 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 6 Sep 2012 16:30:00 -0700
Subject: [PATCH] Debugging 64-bit bug in new semi-canonical form..

---
 src/bool/lucky/luckyFast16.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/bool/lucky/luckyFast16.c b/src/bool/lucky/luckyFast16.c
index 2d2fbf37c..4e4963733 100644
--- a/src/bool/lucky/luckyFast16.c
+++ b/src/bool/lucky/luckyFast16.c
@@ -557,6 +557,7 @@ inline int minimalSwapAndFlipIVar_superFast_all(word* pInOut, int nVars, int nWo
     int i;
     word pDuplicate[1024];  
     int bitInfoTemp = pStore[0];
+printf("visit\n" );
     memcpy(pDuplicate,pInOut,nWords*sizeof(word));
     for(i=0;i<5;i++)
     {