No need for OG with Stratified Inlining.

1 files changed, 1 insertions, 0 deletions

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index c6afa0af..d18eee2e 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -443,6 +443,7 @@ namespace Microsoft.Boogie
           }

         }

 

+        if(CommandLineOptions.Clo.StratifiedInlining == 0)

         {

           OwickiGriesTransform ogTransform = new OwickiGriesTransform(linearTypechecker);

           ogTransform.Transform();