From dca5ebaacf57702e3270df74a2965e08d9a7d1cb Mon Sep 17 00:00:00 2001
From: stasiran <unknown>
Date: Mon, 13 Jan 2014 17:23:16 -0800
Subject: Existential failure checker replaced with universal.

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

(limited to 'Source/Concurrency')

diff --git a/Source/Concurrency/MoverCheck.cs b/Source/Concurrency/MoverCheck.cs
index 61e3bf02..75e1f7e3 100644
--- a/Source/Concurrency/MoverCheck.cs
+++ b/Source/Concurrency/MoverCheck.cs
@@ -462,7 +462,7 @@ namespace Microsoft.Boogie
             this.decls.Add(proc);
         }
 
-        private void CreateFailurePreservationCheckerForall(Program program, ActionInfo first, ActionInfo second)
+        private void CreateFailurePreservationChecker(Program program, ActionInfo first, ActionInfo second)
         {
             Debug.Assert(second.isNonBlocking);
             if (first.gateUsedGlobalVars.Intersect(second.modifiedGlobalVars).Count() == 0)
@@ -505,7 +505,7 @@ namespace Microsoft.Boogie
             this.decls.Add(proc);
         }
 
-        private void CreateFailurePreservationChecker(Program program, ActionInfo first, ActionInfo second)
+        private void CreateFailurePreservationCheckerExists(Program program, ActionInfo first, ActionInfo second)
         {
             if (first.gateUsedGlobalVars.Intersect(second.modifiedGlobalVars).Count() == 0 && second.isNonBlocking)
                 return;
-- 
cgit v1.2.3