From 41d57f85442b53f3ce9d8f81a44e1ec4296e6f41 Mon Sep 17 00:00:00 2001
From: Davit Grigoryan <ggc.language@gmail.com>
Date: Sun, 19 Apr 2026 03:35:21 +0000
Subject: add option for dbg prints

---
 src/abstract_hardware_model.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/abstract_hardware_model.h')

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__);        \
-- 
cgit v1.3