mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
set default file format to smt2
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
b9bbfbdbb7
commit
6af9782927
|
@ -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) {
|
||||
|
|
Loading…
Reference in a new issue