From a100c81f65c2006b1717b96e7b6bab9068d36bd1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?=
 <tothtamas28@users.noreply.github.com>
Date: Wed, 22 Jan 2025 14:57:11 +0000
Subject: [PATCH] Fix method `from_definition` in `KoreDefn`

---
 pyk/src/pyk/kore/internal.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pyk/src/pyk/kore/internal.py b/pyk/src/pyk/kore/internal.py
index 588bcf35b3..cfafb1e75a 100644
--- 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():