From 941c3f3eb69e7201022ef792db65762211818117 Mon Sep 17 00:00:00 2001
From: Thomas Bersch <bersch@ipd.info.uni-karlsruhe.de>
Date: Fri, 4 Jun 2010 07:27:12 +0000
Subject: [PATCH] Use UNSIGNED INT for a test.

[r27621]
---
 pbqp_t.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pbqp_t.h b/pbqp_t.h
index 196681cd8..caf5b70b4 100644
--- a/pbqp_t.h
+++ b/pbqp_t.h
@@ -37,7 +37,7 @@
 #define KAPS_ENABLE_VECTOR_NAMES 0
 #define KAPS_STATISTIC 0
 #define KAPS_TIMING 0
-#define KAPS_USE_UNSIGNED 0
+#define KAPS_USE_UNSIGNED 1
 
 #if KAPS_USE_UNSIGNED
 	typedef unsigned num;
-- 
2.20.1