diff options
Diffstat (limited to 'proofs/lfsc_checker/print_smt2.h')
-rw-r--r-- | proofs/lfsc_checker/print_smt2.h | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/proofs/lfsc_checker/print_smt2.h b/proofs/lfsc_checker/print_smt2.h index c70b1dfa4..9bee0e81c 100644 --- a/proofs/lfsc_checker/print_smt2.h +++ b/proofs/lfsc_checker/print_smt2.h @@ -1,17 +1,17 @@ -#ifndef PRINT_SMT2_H
-#define PRINT_SMT2_H
-
-#define PRINT_SMT2
-
-#include "expr.h"
-
-#ifdef PRINT_SMT2
-void print_smt2( Expr* p, std::ostream& s, short mode = 0 );
-
-bool is_smt2_poly_formula( Expr* p );
-short get_mode( Expr* p );
-
-#endif
-
-
-#endif
+#ifndef PRINT_SMT2_H +#define PRINT_SMT2_H + +#define PRINT_SMT2 + +#include "expr.h" + +#ifdef PRINT_SMT2 +void print_smt2( Expr* p, std::ostream& s, short mode = 0 ); + +bool is_smt2_poly_formula( Expr* p ); +short get_mode( Expr* p ); + +#endif + + +#endif |