fix type

runtimeverification · Jan 23, 2025 · e90e918 · e90e918
1 parent a302fca
commit e90e918
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/komet/kdist/soroban-semantics/data.md b/src/komet/kdist/soroban-semantics/data.md
@@ -165,7 +165,7 @@ module HOST-OBJECT
     rule getTag(Symbol(BS))    => 74    requires lengthString(BS) >Int  9
     rule getTag(ScBytes(_))    => 72
 
-    syntax Bool ::= getTagWithFlag(alwaysAllocate: Bool, ScVal)   [function, total]
+    syntax Int ::= getTagWithFlag(alwaysAllocate: Bool, ScVal)   [function, total]
  // -------------------------------------------------------------------------------
     rule getTagWithFlag(true, U64(_))    => 64
     rule getTagWithFlag(true, I64(_))    => 65