1 files changed, 2 insertions, 1 deletions
diff --git a/Source/Core/CommandLineOptions.ssc b/Source/Core/CommandLineOptions.ssc
index 35e182e6..97167e18 100644
--- a/Source/Core/CommandLineOptions.ssc
+++ b/Source/Core/CommandLineOptions.ssc
@@ -153,6 +153,7 @@ namespace Microsoft.Boogie
     public BvHandling Bitvectors = BvHandling.Z3Native;
     
     public bool UseArrayTheory = false;
+    public bool MonomorphicArrays { get { return UseArrayTheory || TypeEncodingMethod == TypeEncoding.Monomorphic; } }
     public bool ExpandLambdas = true; // not useful from command line, only to be set to false programatically
 
     public bool DoModSetAnalysis = false;
@@ -1324,7 +1325,7 @@ namespace Microsoft.Boogie
         OwnershipModelEncoding = OwnershipModelOption.Trivial;
       }
       
-      if (UseArrayTheory) {
+      if (MonomorphicArrays) {
         Monomorphize = true;
       }