Use UNSIGNED INT for a test.
authorThomas Bersch <bersch@ipd.info.uni-karlsruhe.de>
Fri, 4 Jun 2010 07:27:12 +0000 (07:27 +0000)
committerThomas Bersch <bersch@ipd.info.uni-karlsruhe.de>
Fri, 4 Jun 2010 07:27:12 +0000 (07:27 +0000)
[r27621]

pbqp_t.h

index 196681c..caf5b70 100644 (file)
--- 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;