try to fix issues with mint segfaults

runtimeverification · Oct 28, 2024 · 49637fd · 49637fd
1 parent f7e5cc3
commit 49637fd
Showing 1 changed file with 4 additions and 2 deletions.
diff --git 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++);
         }