From 6e1c246454930377bb14f249e3827db29878050b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 16 Nov 2015 23:06:04 -0800
Subject: [PATCH] avoid exception in Ratul's environment

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/mk_util.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 0b924c21f..407c78e13 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -2653,6 +2653,8 @@ def mk_z3consts_py(api_files):
                         z3consts.write('%s = %s\n' % (k, i))
                     z3consts.write('\n')
                     mode = SEARCHING
+                elif len(words) <= 2:
+                    pass
                 else:
                     if words[2] != '':
                         if len(words[2]) > 1 and words[2][1] == 'x':