1 files changed, 1 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index adf996c0d..249c1d0ee 100644
--- a/Makefile
+++ b/Makefile
@@ -16,7 +16,7 @@ ENABLE_READLINE := 1
 ENABLE_EDITLINE := 0
 ENABLE_VERIFIC := 0
 ENABLE_COVER := 1
-ENABLE_LIBYOSYS := 1
+ENABLE_LIBYOSYS := 0
 ENABLE_PROTOBUF := 0
 
 # python wrappers