diff --git a/src/shell/main.cpp b/src/shell/main.cpp
index 0eb612f35..d84c88366 100644
--- a/src/shell/main.cpp
+++ b/src/shell/main.cpp
@@ -297,7 +297,7 @@ int main(int argc, char ** argv) {
         }
         
         if (g_input_kind == IN_UNSPECIFIED) {
-            g_input_kind = IN_SMTLIB;
+            g_input_kind = IN_SMTLIB_2;
             char const * ext = get_extension(g_input_file);
             if (ext) {
                 if (strcmp(ext, "datalog") == 0 || strcmp(ext, "dl") == 0) {