From 24d95742398c646d2dbb42ff8301d6b714617620 Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Thu, 24 May 2012 16:39:53 -0700
Subject: more refactoring in stratified inlining

---
 Source/Core/Absy.cs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Source/Core/Absy.cs')

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index bdc74152..06c63307 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -2438,6 +2438,10 @@ namespace Microsoft.Boogie {
           }
         }
 
+        if (CommandLineOptions.Clo.StratifiedInlining > 0) {
+          return !QKeyValue.FindBoolAttribute(Attributes, "entrypoint");
+        }
+
         return false;
       }
     }
-- 
cgit v1.2.3