diff options
author | kuruis <unknown> | 2013-12-20 01:14:01 -0800 |
---|---|---|
committer | kuruis <unknown> | 2013-12-20 01:14:01 -0800 |
commit | 9030a5a43425e5bf3c44a15cbfa0031ba4435c9e (patch) | |
tree | 39470e6e28910b11e4c103fc2dc5bbb7cf691df4 /Source/Concurrency/YieldTypeChecker.cs | |
parent | 85bb59e1b1b78937f6c00e2af3e05963591484be (diff) |
comparison of phase_num checks updated
Diffstat (limited to 'Source/Concurrency/YieldTypeChecker.cs')
-rw-r--r-- | Source/Concurrency/YieldTypeChecker.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Concurrency/YieldTypeChecker.cs b/Source/Concurrency/YieldTypeChecker.cs index 57116854..8f72fdf3 100644 --- a/Source/Concurrency/YieldTypeChecker.cs +++ b/Source/Concurrency/YieldTypeChecker.cs @@ -431,7 +431,7 @@ We use bool IsCallCmdExitPoint(Cmd cmd, int yTypeCheckCurrentPhaseNum) returns {
CallCmd callCmd = cmd as CallCmd;
int phaseSpecCallCmd = moverTypeChecker.FindPhaseNumber(callCmd.Proc);
- if (phaseSpecCallCmd >= yTypeCheckCurrentPhaseNum)
+ if (phaseSpecCallCmd > yTypeCheckCurrentPhaseNum)
{
#if DEBUG && !DEBUG_DETAIL
Console.Write("\nCall Cmd Check is " + callCmd.Proc.Name + "\n");
|