From 90cb51a907a0f78b83cb66f497f6dc0f24f01706 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 12 Jul 2026 18:52:52 -0300 Subject: repl session commands: load, reset, quit; emacs load-file binding --- examples/integrity.sol | 1 + 1 file changed, 1 insertion(+) (limited to 'examples/integrity.sol') 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] + -- cgit v1.2.3