diff options
Diffstat (limited to 'src/abstract_hardware_model.h')
| -rw-r--r-- | src/abstract_hardware_model.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/abstract_hardware_model.h b/src/abstract_hardware_model.h index 3f7eac3..698c896 100644 --- a/src/abstract_hardware_model.h +++ b/src/abstract_hardware_model.h @@ -1404,7 +1404,7 @@ class checkpoint { unsigned radnom; }; // Debug print macro for ITS (disabled by default) -#define AWARE_DEBUG_PRINT 1 +#define AWARE_DEBUG_PRINT 0 #define AWARE_DPRINTF(...) \ if (AWARE_DEBUG_PRINT) { \ printf(__VA_ARGS__); \ |