From f55922dd0bed366b0cfed7c02581c73ab83db8c3 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@pi2.network>
Date: Mon, 26 Aug 2024 12:52:09 -0500
Subject: [PATCH] fix minor bug in semantics

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

diff --git a/src/solidity-syntax.md b/src/solidity-syntax.md
index 29c888f..4e5a95c 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