From 3c384f8e99b8c117a7e5aa98fea77444fc59b2cd Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@pi2.network>
Date: Mon, 26 Aug 2024 13:08:56 -0500
Subject: [PATCH] fix minor bug in semantics (#18)

---
 src/solidity-syntax.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/solidity-syntax.md b/src/solidity-syntax.md
index 0a0dfa0..377f37b 100644
--- a/src/solidity-syntax.md
+++ b/src/solidity-syntax.md
@@ -14,6 +14,8 @@ We use `bool`, `string` and `id` modules, `int`s are defined in a custom way due
     imports BOOL-SYNTAX
     imports STRING-SYNTAX
     imports ID-SYNTAX
+
+    syntax KResult
 ```
 
 ## Tokens-keywords