diff options
Diffstat (limited to '')
| -rw-r--r-- | examples/integrity.sol | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/integrity.sol b/examples/integrity.sol index 2729f4b..ec23b26 100644 --- a/examples/integrity.sol +++ b/examples/integrity.sol @@ -33,3 +33,4 @@ Query expression: % reject the whole program. % [Employee name: "Ghost" dept: 9 score: 50] % [Employee name: "Over" dept: 1 score: 101] + |