diff --git a/src/shell/main.cpp b/src/shell/main.cpp
index 5a47d0d16..609f5d47b 100644
--- a/src/shell/main.cpp
+++ b/src/shell/main.cpp
@@ -163,6 +163,9 @@ void parse_cmd_line_args(int argc, char ** argv) {
             else if (strcmp(opt_name, "smt2") == 0) {
                 g_input_kind = IN_SMTLIB_2;
             }
+            else if (strcmp(opt_name, "dl") == 0) {
+                g_input_kind = IN_DATALOG;
+            }
             else if (strcmp(opt_name, "in") == 0) {
                 g_standard_input = true;
             }