diff options
| author |  Unknown <afd@afd-THINK> | 2012-08-16 16:23:18 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK> | 2012-08-16 16:23:18 +0100 |
| commit | d3f1c2d417a64389a7ffa103b10f73ff3448875f (patch) | |
| tree | 6aead89a2d33cf4c0eefc4593cf6188c03e32af1 /Test/codeexpr/CodeExpr2.bpl | |
| parent | 2689b133ef688bef01c5f8e5cbe67110c3b9384a (diff) | |
Fixed bug where source location attributes are not being attached to a CHECK
call, and refactored code to avoid the duplication which caused this error.
Diffstat (limited to 'Test/codeexpr/CodeExpr2.bpl')
0 files changed, 0 insertions, 0 deletions