yieldtypesafe and yieldreachability automatons are separated.

 integration of parallel call cmds done
 points (1 and 3) on Shaz's email are done

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Concurrency/TypeCheck.cs b/Source/Concurrency/TypeCheck.cs
index 8c738727..42c06462 100644
--- a/Source/Concurrency/TypeCheck.cs
+++ b/Source/Concurrency/TypeCheck.cs
@@ -185,7 +185,7 @@ namespace Microsoft.Boogie
             }

             this.VisitProgram(program);

 #if QED

-            YieldTypeChecker.PerformYieldTypeChecking(this);

+            YieldTypeChecker.PerformYieldSafeCheck(this);

 #endif

         }