From 9b6c161ad224ac5d088de5560986e7cb2f50a66c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 11 Oct 2024 14:02:42 -0700
Subject: [PATCH] break sls build

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

diff --git a/src/ast/sls/sls_euf_plugin.cpp b/src/ast/sls/sls_euf_plugin.cpp
index aee13acc8..f2bf8ebdb 100644
--- a/src/ast/sls/sls_euf_plugin.cpp
+++ b/src/ast/sls/sls_euf_plugin.cpp
@@ -152,6 +152,7 @@ namespace sls {
                     if (!g.find(eq)) {
                         euf::enode* args[2] = { g.find(a), g.find(b) };
                         c = g.mk(eq, 0, 2, args);
+                        xx
                     }                    
                     g.merge(c, g.find(m.mk_false()), to_ptr(lit));
                 }