From 6c96f855db0bbbb0ac31d17b20089cb57ee55dc2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 25 Mar 2019 17:54:05 -0700 Subject: [PATCH] include path Signed-off-by: Nikolaj Bjorner --- src/ast/special_relations_decl_plugin.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/ast/special_relations_decl_plugin.h b/src/ast/special_relations_decl_plugin.h index 068382b23..ef432dbcc 100644 --- a/src/ast/special_relations_decl_plugin.h +++ b/src/ast/special_relations_decl_plugin.h @@ -20,8 +20,7 @@ Revision History: #ifndef SPECIAL_RELATIONS_DECL_PLUGIN_H_ #define SPECIAL_RELATIONS_DECL_PLUGIN_H_ -#include"ast.h" - +#include "ast/ast.h" enum special_relations_op_kind {