From 1fc7b63a80433ef02f72a94380d425bad8ab5e99 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 16 Sep 2021 21:59:54 +0100
Subject: [PATCH] ...

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/model/model_v2_pp.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/model/model_v2_pp.cpp b/src/model/model_v2_pp.cpp
index 556ecb35d..e50d70079 100644
--- a/src/model/model_v2_pp.cpp
+++ b/src/model/model_v2_pp.cpp
@@ -40,7 +40,7 @@ static void display_function(std::ostream & out, model_core const & md, func_dec
         out << "\n";
     }
     if (partial) {
-        out << else_str << "#unspecified\n";
+        out << else_str << "...\n";
     }
     else {
         expr * else_val = g->get_else();