Index: src/ResolvExpr/TypeEnvironment.cc
===================================================================
--- src/ResolvExpr/TypeEnvironment.cc	(revision d318a182b0b2491a1aa64771c523470334852f01)
+++ src/ResolvExpr/TypeEnvironment.cc	(revision eff03a94a7c9efb0da9adc3ba0df25839eeaed04)
@@ -33,5 +33,5 @@
 
 namespace ResolvExpr {
-	#if 1
+	#if 0
 	#define PRE_POST_VALIDATE auto dbg = ValidateGuard{this, __func__};
 	#define PRE_POST_VALIDATE_NOM auto dbg = ValidateGuard{this};