Rev 9073 | Rev 9448 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 9073 | Rev 9336 | ||
---|---|---|---|
Line 240... | Line 240... | ||
240 | END; |
240 | END; |
241 | List.insert(CL.Log, CL.guard.prev, item) |
241 | List.insert(CL.Log, CL.guard.prev, item) |
242 | END changeBool2; |
242 | END changeBool2; |
Line 243... | Line 243... | ||
243 | 243 | ||
244 | 244 | ||
245 | PROCEDURE changeInt (VAR v: INTEGER; x: INTEGER); |
245 | PROCEDURE changeInt* (VAR v: INTEGER; x: INTEGER); |
246 | BEGIN |
246 | BEGIN |