diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-05-16 18:38:22 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-05-16 18:38:22 -0400 |
commit | 5820d0cd1ccabd04613a77d5fcb844a5b0463ea4 (patch) | |
tree | 3a007ed540ad84128f6a3103d35e4da79ddea590 /proofs/lfsc_checker/print_smt2.cpp | |
parent | 647c6045788cd586c4534e0b63744bff4dd2f1ef (diff) |
lfsc_checker: fix some warnings reported by _both_ gcc and clang
Diffstat (limited to 'proofs/lfsc_checker/print_smt2.cpp')
-rw-r--r-- | proofs/lfsc_checker/print_smt2.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/lfsc_checker/print_smt2.cpp b/proofs/lfsc_checker/print_smt2.cpp index bf068c248..34cb00cc4 100644 --- a/proofs/lfsc_checker/print_smt2.cpp +++ b/proofs/lfsc_checker/print_smt2.cpp @@ -54,7 +54,7 @@ void print_smt2( Expr* p, std::ostream& s, short mode ) s << " ";
for( int a=0; a<(int)args.size(); a++ ){
print_smt2( args[a], s, newMode );
- if( a!=args.size()-1 )
+ if( a!=(int)args.size()-1 )
s << " ";
}
s << ")";
|