Fix method from_definition in KoreDefn

runtimeverification · Jan 22, 2025 · a100c81 · a100c81
1 parent 4e5302f
commit a100c81
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/pyk/src/pyk/kore/internal.py b/pyk/src/pyk/kore/internal.py
@@ -86,6 +86,8 @@ def from_definition(defn: Definition) -> KoreDefn:
                     sorts[name] = sent
                 case SymbolDecl(Symbol(name)):
                     symbols[name] = sent
+                    if 'function' in sent.attrs_by_key:
+                        functions.setdefault(name, [])
                 case Axiom(attrs=(App('subsort', (SortApp(subsort), SortApp(supersort))),)):
                     subsorts.append((subsort, supersort))
                 case Axiom():