From b71d8e1847d61e4358de4aa35791ff00556d91e2 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Wed, 18 Aug 2010 17:33:33 +0000
Subject: Don't set monomorphize with typeEncoding:m, not neccessary.

---
 Source/Core/CommandLineOptions.ssc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Core')

diff --git a/Source/Core/CommandLineOptions.ssc b/Source/Core/CommandLineOptions.ssc
index 2a9307bc..d60e7323 100644
--- a/Source/Core/CommandLineOptions.ssc
+++ b/Source/Core/CommandLineOptions.ssc
@@ -1332,7 +1332,7 @@ namespace Microsoft.Boogie
         OwnershipModelEncoding = OwnershipModelOption.Trivial;
       }
       
-      if (MonomorphicArrays) {
+      if (UseArrayTheory) {
         Monomorphize = true;
       }
       
-- 
cgit v1.2.3