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";
                   }
+              }
               );
     }