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_ */