1. Fixed lazy inlining implementation so that inlined procedures use live variable analysis as well

2. Separeted model printing from the lazy inlining option

1 files changed, 0 insertions, 1 deletions

diff --git a/Source/Core/CommandLineOptions.ssc b/Source/Core/CommandLineOptions.ssc
index bab1d04b..39ba0fb8 100644
--- a/Source/Core/CommandLineOptions.ssc
+++ b/Source/Core/CommandLineOptions.ssc
@@ -1303,7 +1303,6 @@ namespace Microsoft.Boogie
       }

       

       if (LazyInlining) {

-        PrintErrorModel = 1;

         TypeEncodingMethod = TypeEncoding.Monomorphic;

         UseArrayTheory = true;

         UseAbstractInterpretation = false;