fix minor bug in semantics

Pi-Squared-Inc · Aug 26, 2024 · f55922d · f55922d
1 parent 5585171
commit f55922d
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