From 1a432529dd769aa56b624410ffd6a80d34ef3099 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 17 May 2021 11:10:05 -0700
Subject: [PATCH] fix #5272

---
 src/cmd_context/cmd_context.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/cmd_context/cmd_context.cpp b/src/cmd_context/cmd_context.cpp
index 6bcca936a..fd8eeb3f1 100644
--- a/src/cmd_context/cmd_context.cpp
+++ b/src/cmd_context/cmd_context.cpp
@@ -879,8 +879,9 @@ void cmd_context::insert(symbol const & s, func_decl * f) {
 void cmd_context::insert(symbol const & s, psort_decl * p) {
     pm().inc_ref(p);
     if (m_psort_decls.contains(s)) {
+        symbol _s = s;
         pm().dec_ref(p);
-        throw cmd_exception("sort already defined ", s);
+        throw cmd_exception("sort already defined ", _s);
     }
     m_psort_decls.insert(s, p);
     if (!m_global_decls) {