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