Skip to content

Commit

Permalink
Improve comments in listing
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed Oct 18, 2022
1 parent 51467e1 commit 440a6df
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions RationaleMCP/0031/differences.md
Expand Up @@ -219,8 +219,8 @@ algorithm
```
Note that the following is illegal since the argument of `pre` needs to be discrete-time:
```
if initial() then /* Right before or right after when-statement does not matter. */
'y' := pre('x');
if initial() then
'y' := pre('x'); /* 'x' is continuous-time, since no longer inside when-clause. */
end if;
```
Open questions:
Expand Down

0 comments on commit 440a6df

Please sign in to comment.