From 013127e9475af0f08dda8be2f79b0f8770cbf86b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 31 Jul 2017 14:01:39 -0700 Subject: [PATCH] fix build break based on ambiguous path resolution Signed-off-by: Nikolaj Bjorner --- src/ast/pattern/pattern_inference.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/pattern/pattern_inference.cpp b/src/ast/pattern/pattern_inference.cpp index 25feaed26..d55c20c1c 100644 --- a/src/ast/pattern/pattern_inference.cpp +++ b/src/ast/pattern/pattern_inference.cpp @@ -576,7 +576,7 @@ void pattern_inference::mk_patterns(unsigned num_bindings, m_candidates.reset(); } -#include "smt/database.h" +#include "database.h" void pattern_inference::reduce1_quantifier(quantifier * q) { TRACE("pattern_inference", tout << "processing:\n" << mk_pp(q, m) << "\n";);