From aee18130568812d06f3a02e8aa075eb540fc803a Mon Sep 17 00:00:00 2001 From: Matthias Schlaipfer Date: Tue, 2 Jun 2015 09:49:08 +0100 Subject: [PATCH] Added missing input format option "-dl" Signed-off-by: Matthias Schlaipfer --- src/shell/main.cpp | 3 +++ 1 file changed, 3 insertions(+) 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; }