From c55727934f82497b97f6d72f16a57531d42dc6c1 Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Mon, 28 May 2018 23:24:43 -0700
Subject: Add missing file

---
 test/regress/regress0/lang_opts.smt2 | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 test/regress/regress0/lang_opts.smt2

diff --git a/test/regress/regress0/lang_opts.smt2 b/test/regress/regress0/lang_opts.smt2
new file mode 100644
index 000000000..5a56960f0
--- /dev/null
+++ b/test/regress/regress0/lang_opts.smt2
@@ -0,0 +1,7 @@
+; Check that the language set in the command line options has higher priority
+; than the language specified in the input file.
+;
+; COMMAND-LINE: --lang=smt2.5
+; EXPECT: "LANG_SMTLIB_V2_5"
+(set-info :smt-lib-version 2.6)
+(get-option :input-language)
-- 
cgit v1.2.3