From ca0da698ab55ffc28e58795f267af0c381840819 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 17 Jun 2025 17:23:35 -0700 Subject: [PATCH] remove empty implementation --- src/ast/euf/euf_ematch.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/euf/euf_ematch.h b/src/ast/euf/euf_ematch.h index 7f04512fb..53b446566 100644 --- a/src/ast/euf/euf_ematch.h +++ b/src/ast/euf/euf_ematch.h @@ -31,7 +31,7 @@ namespace euf { g(g) {} - void operator()(expr* pat, enode* t, enode** binding) {} + void operator()(expr* pat, enode* t, enode** binding); }; }