From 3e58f0cff1253256b02cd3dd2d8c0ec623ae314a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 13 Jul 2023 09:25:20 -0700
Subject: [PATCH] build fixes

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

diff --git a/src/ast/polymorphism_util.cpp b/src/ast/polymorphism_util.cpp
index 60048fe41..1c961d21f 100644
--- a/src/ast/polymorphism_util.cpp
+++ b/src/ast/polymorphism_util.cpp
@@ -283,8 +283,10 @@ namespace polymorphism {
         vector<parameter> params;
         for (unsigned i = 0; i < s->get_num_parameters(); ++i) {
             parameter p = s->get_parameter(i);
-            if (p.is_ast() && is_sort(p.get_ast()))
-                params.push_back(parameter(fresh(to_sort(p.get_ast()))));
+            if (p.is_ast() && is_sort(p.get_ast())) {
+                sort_ref fs = fresh(to_sort(p.get_ast()));
+                params.push_back(parameter(fs.get()));
+            }
             else
                 params.push_back(p);
         }