From b1b349f49662d16c87060f82ddcf8204ce4f7b74 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 2 Mar 2014 17:50:29 -0800
Subject: [PATCH] modify offset check to accept linear expressions over
 numerals. Codeplex issue 81

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/cmd_context/check_logic.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/cmd_context/check_logic.cpp b/src/cmd_context/check_logic.cpp
index dfee148b5..99b0f2521 100644
--- a/src/cmd_context/check_logic.cpp
+++ b/src/cmd_context/check_logic.cpp
@@ -310,6 +310,8 @@ struct check_logic::imp {
                     return false;
                 non_numeral = arg;
             }
+            if (non_numeral == 0) 
+                return true; 
             if (is_diff_var(non_numeral))
                 return true;
             if (!m_a_util.is_add(non_numeral) && !m_a_util.is_sub(non_numeral))