diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-12 18:52:52 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-12 18:52:52 -0300 |
| commit | 90cb51a907a0f78b83cb66f497f6dc0f24f01706 (patch) | |
| tree | 379e7e79a3e7c6d0e1520ab153a581689060bb4b /examples | |
| parent | 19ba625e0345a88da6c29ab91a3ba2d7a8462065 (diff) | |
| download | SOL-90cb51a907a0f78b83cb66f497f6dc0f24f01706.tar.gz SOL-90cb51a907a0f78b83cb66f497f6dc0f24f01706.zip | |
repl session commands: load, reset, quit; emacs load-file binding
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] + |