don't print \or if only one search result

runtimeverification · Nov 27, 2024 · 7b3c203 · 7b3c203
1 parent 3a0b23d
commit 7b3c203
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/runtime/util/ConfigurationPrinter.cpp b/runtime/util/ConfigurationPrinter.cpp
@@ -207,6 +207,8 @@ void print_configurations(
   ssize_t size = results.size();
   if (size == 0) {
     sfprintf(&w, "\\bottom{SortGeneratedTopCell{}}()");
+  } else if (size == 1) {
+    print_configuration_internal(&w, *results.begin(), nullptr, false, &state);
   } else {
     sfprintf(&w, "\\or{SortGeneratedTopCell{}}(");
     size_t j = 0;