mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 02:15:19 +00:00
remove if-def inside cpp file that should not be there #6869
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
5e3df9ee77
commit
79aa317af4
|
@ -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_ */
|
||||
|
|
Loading…
Reference in a new issue