diff options
Diffstat (limited to 'Source/Core/AbsyCmd.cs')
| -rw-r--r-- | Source/Core/AbsyCmd.cs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs index cd7a8edd..72dc7c86 100644 --- a/Source/Core/AbsyCmd.cs +++ b/Source/Core/AbsyCmd.cs @@ -1843,10 +1843,6 @@ namespace Microsoft.Boogie { {
tc.Error(callCmd, "target procedure of a parallel call must yield");
}
- if (!QKeyValue.FindBoolAttribute(callCmd.Proc.Attributes, "stable"))
- {
- tc.Error(callCmd, "target procedure of a parallel call must be stable");
- }
}
}
foreach (CallCmd callCmd in CallCmds)
@@ -2134,10 +2130,6 @@ namespace Microsoft.Boogie { {
tc.Error(this, "target procedure of an async call must yield");
}
- if (!QKeyValue.FindBoolAttribute(Proc.Attributes, "stable"))
- {
- tc.Error(this, "target procedure of an async call must be stable");
- }
}
}
|