From b93171de78fc80cb2f79fcc8011a541d7dbf42d9 Mon Sep 17 00:00:00 2001 From: tcely Date: Fri, 16 Jun 2023 11:46:40 -0400 Subject: [PATCH] pattern_inference.h: include rewriter_def.h (#6765) Needed to use the `rewriter_tpl` constructor. --- src/ast/pattern/pattern_inference.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/ast/pattern/pattern_inference.h b/src/ast/pattern/pattern_inference.h index da905dca4..c5c8e2e74 100644 --- a/src/ast/pattern/pattern_inference.h +++ b/src/ast/pattern/pattern_inference.h @@ -20,6 +20,7 @@ Revision History: #include "ast/ast.h" #include "ast/rewriter/rewriter.h" +#include "ast/rewriter/rewriter_def.h" #include "params/pattern_inference_params.h" #include "util/vector.h" #include "util/uint_set.h"