From 49637fdb3de55341ffefb134212e86c625d51962 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@pi2.network>
Date: Mon, 28 Oct 2024 10:48:33 -0500
Subject: [PATCH] try to fix issues with mint segfaults

---
 lib/ast/definition.cpp | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/lib/ast/definition.cpp b/lib/ast/definition.cpp
index 0400e3ff7..4e468e41e 100644
--- a/lib/ast/definition.cpp
+++ b/lib/ast/definition.cpp
@@ -327,8 +327,10 @@ void kore_definition::preprocess() {
         for (auto const &sort : symbol->get_arguments()) {
           process_sort_ordinal(sort.get(), sorts, all_sorts_, next_sort);
         }
-        process_sort_ordinal(
-            symbol->get_sort().get(), sorts, all_sorts_, next_sort);
+        if (symbol->get_sort()->is_concrete()) {
+          process_sort_ordinal(
+              symbol->get_sort().get(), sorts, all_sorts_, next_sort);
+        }
         if (!instantiations.contains(*symbol)) {
           instantiations.emplace(*symbol, next_symbol++);
         }