diff --git a/Makefile b/Makefile
index 81e39cd43..ec93a0bb6 100644
--- a/Makefile
+++ b/Makefile
@@ -29,7 +29,6 @@ ENABLE_LIBYOSYS_STATIC := 0
 ENABLE_ZLIB := 1
 ENABLE_HELP_SOURCE := 0
 ENABLE_BACKTRACE := 1
-VERIFIC_LINEFILE_INCLUDES_LOOPS := 1
 
 # python wrappers
 ENABLE_PYOSYS := 1