From 2cc6baede55baa7b1051d950e2d97bb6d6e17bcf Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 27 Jul 2017 07:44:08 -0700
Subject: [PATCH] address #1167

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/parsers/smt2/smt2parser.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/parsers/smt2/smt2parser.cpp b/src/parsers/smt2/smt2parser.cpp
index 08bb6bbee..113039639 100644
--- a/src/parsers/smt2/smt2parser.cpp
+++ b/src/parsers/smt2/smt2parser.cpp
@@ -2238,6 +2238,9 @@ namespace smt2 {
                 m_assert_expr = m_scanner.cached_str(0, m_cache_end);
                 m_scanner.stop_caching();
             }
+            if (expr_stack().empty()) {
+                throw cmd_exception("invalid assert command, expression required as argument");
+            }
             expr * f = expr_stack().back();
             if (!m().is_bool(f))
                 throw cmd_exception("invalid assert command, term is not Boolean");