Skip to content

Commit b777ba5

Browse files
committed
fix up mistake in #mainIsMinusOne hack
1 parent 0eb69a5 commit b777ba5

File tree

1 file changed

+1
-1
lines changed
  • kmir/src/kmir/kdist/mir-semantics

1 file changed

+1
-1
lines changed

kmir/src/kmir/kdist/mir-semantics/kmir.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -140,7 +140,7 @@ The function _names_ and _ids_ are not relevant for calls and therefore dropped.
140140
#accumFunctions(#mainIsMinusOne(Items), #accumItems(.Map, Items), Functions)
141141
//////////////////// ^^^^^^^^^^^^^^^^^^^^^^ HACK Adds "main" as function with ty(-1)
142142
syntax Map ::= #mainIsMinusOne(MonoItems) [function]
143-
rule #mainIsMinusOne(ITEMS) => ty(-1) |-> #findItem(ITEMS, symbol("main"))
143+
rule #mainIsMinusOne(ITEMS) => ty(-1) |-> monoItemKind(#findItem(ITEMS, symbol("main")))
144144
////////////////////////////////////////////////////////////////
145145
146146
// accumulate map of symbol_name -> function (MonoItemFn), discarding duplicate IDs

0 commit comments

Comments
 (0)