From 44095046bd0fd0bc1169ca7a6a19f93b5ac38e9a Mon Sep 17 00:00:00 2001
From: Pantazis Deligiannis <pdeligia@me.com>
Date: Tue, 1 Oct 2013 11:42:03 +0100
Subject: fixed bug

---
 Source/Houdini/ConcurrentHoudini.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/Houdini')

diff --git a/Source/Houdini/ConcurrentHoudini.cs b/Source/Houdini/ConcurrentHoudini.cs
index f4bab257..3eeffa74 100644
--- a/Source/Houdini/ConcurrentHoudini.cs
+++ b/Source/Houdini/ConcurrentHoudini.cs
@@ -16,6 +16,8 @@ namespace Microsoft.Boogie.Houdini
 
     private static ConcurrentDictionary<string, RefutedAnnotation> refutedSharedAnnotations;
 
+    public static ConcurrentDictionary<string, RefutedAnnotation> RefutedSharedAnnotations { get { return refutedSharedAnnotations; } }
+
     public ConcurrentHoudini(int id, Program program, HoudiniSession.HoudiniStatistics stats, string cexTraceFile = "houdiniCexTrace.bpl") {
       Contract.Assert(id >= 0);
 
@@ -80,8 +82,6 @@ namespace Microsoft.Boogie.Houdini
       refutedSharedAnnotations = new ConcurrentDictionary<string, RefutedAnnotation>();
     }
 
-    public ConcurrentDictionary<string, RefutedAnnotation> RefutedSharedAnnotations { get { return refutedSharedAnnotations; } }   
-
     private bool ExchangeRefutedAnnotations()
     {
       int count = 0;
-- 
cgit v1.2.3