From 6c3890eee3ab56790b3359f094ee288b777e27a2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 13 Dec 2023 19:55:16 -0800
Subject: [PATCH] merge

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

diff --git a/src/sat/smt/intblast_solver.cpp b/src/sat/smt/intblast_solver.cpp
index fcb4699f9..ca8389557 100644
--- a/src/sat/smt/intblast_solver.cpp
+++ b/src/sat/smt/intblast_solver.cpp
@@ -71,6 +71,8 @@ namespace intblast {
         return n && n->is_attached_to(get_id());
     }
 
+
+
     bool solver::post_visit(expr* e, bool sign, bool root) {
         euf::enode* n = expr2enode(e);
         app* a = to_app(e);