From dee6c30f1be89013459543c15ef286eef5b76e0b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 8 Jun 2022 08:05:19 -0700
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/smt/euf_model.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sat/smt/euf_model.cpp b/src/sat/smt/euf_model.cpp
index 84f435fc2..4b7745dd7 100644
--- a/src/sat/smt/euf_model.cpp
+++ b/src/sat/smt/euf_model.cpp
@@ -135,6 +135,7 @@ namespace euf {
                       for (auto* n : *v)
                           tout << "   " << bpp(n) << "\n";
                   }
+              }
               );
     }