diff --git a/src/shell/lean.cpp b/src/shell/lean.cpp
index 6bc6163916..016b9e0c14 100644
--- a/src/shell/lean.cpp
+++ b/src/shell/lean.cpp
@@ -503,7 +503,7 @@ int main(int argc, char ** argv) {
             return 0;
         }
 
-        bool ok;
+        bool ok = true;
         if (new_frontend) {
 #if 0
             env.set_main_module(main_module_name);