diff --git a/src/protocol/eval/executor.rs b/src/protocol/eval/executor.rs
index 901951462ed920ccb465812dd991c5e30beb11d3..950826a2f2cf5d4412098f768ba442675b0b27d7 100644
--- a/src/protocol/eval/executor.rs
+++ b/src/protocol/eval/executor.rs
@@ -8,13 +8,13 @@ use crate::protocol::*;
 use crate::protocol::ast::*;
 use crate::protocol::type_table::*;
 
-macro_rules! debug_enabled { () => { true }; }
+macro_rules! debug_enabled { () => { false }; }
 macro_rules! debug_log {
     ($format:literal) => {
-        enabled_debug_print!(true, "exec", $format);
+        enabled_debug_print!(false, "exec", $format);
     };
     ($format:literal, $($args:expr),*) => {
-        enabled_debug_print!(true, "exec", $format, $($args),*);
+        enabled_debug_print!(false, "exec", $format, $($args),*);
     };
 }