From 3ad104eb64a67a8150b77a27783e3bbb3d8b1f1c Mon Sep 17 00:00:00 2001
From: Duncan Ogilvie <mr.exodia.tpodt@gmail.com>
Date: Mon, 30 Aug 2021 16:47:40 +0200
Subject: [PATCH] Enable VTIL_SYMEX_SIMPLIFY_VERBOSE

---
 VTIL-SymEx/simplifier/simplifier.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VTIL-SymEx/simplifier/simplifier.hpp b/VTIL-SymEx/simplifier/simplifier.hpp
index 88abc8c..3c84e1f 100644
--- a/VTIL-SymEx/simplifier/simplifier.hpp
+++ b/VTIL-SymEx/simplifier/simplifier.hpp
@@ -35,7 +35,7 @@
 // Determine whether we should log the details of the simplification process.
 //
 #ifndef VTIL_SYMEX_SIMPLIFY_VERBOSE
-	#define VTIL_SYMEX_SIMPLIFY_VERBOSE 0
+	#define VTIL_SYMEX_SIMPLIFY_VERBOSE 1
 #endif
 
 namespace vtil::symbolic