From b3c760042dc743bea1620662aed5310121fc4bd0 Mon Sep 17 00:00:00 2001
From: Clark Barrett <barrett@cs.nyu.edu>
Date: Thu, 2 Oct 2014 13:27:43 -0700
Subject: [PATCH] Added option for developer use only

---
 src/theory/arrays/options | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/theory/arrays/options b/src/theory/arrays/options
index baf0962bf..7d5e67350 100644
--- a/src/theory/arrays/options
+++ b/src/theory/arrays/options
@@ -20,4 +20,7 @@ option arraysEagerIndexSplitting --arrays-eager-index bool :default true :read-w
 option arraysEagerLemmas --arrays-eager-lemmas bool :default false :read-write
  turn on eager lemma generation for arrays
 
+option arraysConfig --arrays-config int :default 0 :read-write
+ set different array option configurations - for developers only
+
 endmodule
-- 
2.30.2