From bc312768c80fa2226001f5698a5aa1cdacf77691 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 15 Jun 2025 14:07:50 -0700 Subject: [PATCH] remove dependency on pattern inference Signed-off-by: Nikolaj Bjorner --- src/ast/simplifiers/euf_completion.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/simplifiers/euf_completion.h b/src/ast/simplifiers/euf_completion.h index 5bb704223..5bfecb86c 100644 --- a/src/ast/simplifiers/euf_completion.h +++ b/src/ast/simplifiers/euf_completion.h @@ -26,7 +26,7 @@ Author: #include "ast/euf/euf_egraph.h" #include "ast/euf/euf_mam.h" #include "ast/rewriter/th_rewriter.h" -// #include "ast/pattern/pattern_inference.h" +// include "ast/pattern/pattern_inference.h" #include "params/smt_params.h" namespace euf {