From fd7bcc7afc2c2fd635b03ab4814a4dfad0410777 Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Mon, 14 May 2018 14:41:12 -0700 Subject: [PATCH] Format --- src/muz/spacer/spacer_generalizers.cpp | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/muz/spacer/spacer_generalizers.cpp b/src/muz/spacer/spacer_generalizers.cpp index 342e43ad3..2f9627398 100644 --- a/src/muz/spacer/spacer_generalizers.cpp +++ b/src/muz/spacer/spacer_generalizers.cpp @@ -24,12 +24,10 @@ Revision History: #include "ast/expr_abstract.h" #include "ast/rewriter/var_subst.h" #include "ast/for_each_expr.h" - +#include "ast/factor_equivs.h" #include "muz/spacer/spacer_term_graph.h" - #include "ast/rewriter/expr_safe_replace.h" #include "ast/substitution/matcher.h" - #include "ast/expr_functors.h"