diff options
Diffstat (limited to 'Source/Dafny/DafnyAst.cs')
-rw-r--r-- | Source/Dafny/DafnyAst.cs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs index 51449440..1fc2d787 100644 --- a/Source/Dafny/DafnyAst.cs +++ b/Source/Dafny/DafnyAst.cs @@ -3860,6 +3860,10 @@ namespace Microsoft.Dafny { /// ConditionOmitted == true && BodyOmitted == true
/// * while ... invariant J; { Stmt }
/// ConditionOmitted == true && BodyOmitted == false
+ /// * modify ...;
+ /// ConditionOmitted == true && BodyOmitted == false
+ /// * modify ... { Stmt }
+ /// ConditionOmitted == true && BodyOmitted == false
/// </summary>
public class SkeletonStatement : Statement
{
|