From 79aa317af441c9ab4e4a28973f68570e7f5dc9d3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 21 Aug 2023 09:19:06 -0700
Subject: [PATCH] remove if-def inside cpp file that should not be there #6869

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/rewriter/elim_bounds.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/ast/rewriter/elim_bounds.cpp b/src/ast/rewriter/elim_bounds.cpp
index 27c34463d..b6b98e0cb 100644
--- a/src/ast/rewriter/elim_bounds.cpp
+++ b/src/ast/rewriter/elim_bounds.cpp
@@ -17,8 +17,6 @@ Revision History:
 
 --*/
 
-#ifndef ELIM_BOUNDS_H_
-#define ELIM_BOUNDS_H_
 
 #include "ast/used_vars.h"
 #include "util/obj_hashtable.h"
@@ -201,4 +199,3 @@ bool elim_bounds_cfg::reduce_quantifier(quantifier * q,
     return true;
 }
 
-#endif /* ELIM_BOUNDS_H_ */