diff --git a/lib/Analysis/BasicConstraintManager.cpp b/lib/Analysis/BasicConstraintManager.cpp
index ea13ea3..b09d9de 100644
--- a/lib/Analysis/BasicConstraintManager.cpp
+++ b/lib/Analysis/BasicConstraintManager.cpp
@@ -258,8 +258,6 @@
   } // end switch
 }
 
-
-
 const GRState*
 BasicConstraintManager::AssumeSymNE(const GRState* St, SymbolID sym,
                                     const llvm::APSInt& V, bool& isFeasible) {
@@ -481,7 +479,7 @@
         if (isFirst) isFirst = false;
         else Out << ", ";
       
-        Out << *J;
+        Out << (*J)->getSExtValue(); // Hack: should print to raw_ostream.
       }
     }
   }