diff options
Diffstat (limited to 'proofs/lfsc_checker/print_smt2.h')
| -rw-r--r-- | proofs/lfsc_checker/print_smt2.h | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/proofs/lfsc_checker/print_smt2.h b/proofs/lfsc_checker/print_smt2.h deleted file mode 100644 index 9bee0e81c..000000000 --- a/proofs/lfsc_checker/print_smt2.h +++ /dev/null @@ -1,17 +0,0 @@ -#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 |