1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/options.cpp b/src/util/options.cpp
index 1d2e4ed8b..6d3a06b4b 100644
--- a/src/util/options.cpp
+++ b/src/util/options.cpp
@@ -351,6 +351,7 @@ throw(OptionException) {
       break;
 
     case LAZY_TYPE_CHECKING:
+      typeChecking = true;
       earlyTypeChecking = false;
       break;