fix minor bug in semantics (#18)

Pi-Squared-Inc · Aug 26, 2024 · 3c384f8 · 3c384f8
1 parent 759f4ba
commit 3c384f8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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