From 08789b69d4e885446e92689ed34130a0b912b656 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 17 Dec 2012 20:56:20 -0800 Subject: [PATCH] Fix warning on FreeBSD Signed-off-by: Leonardo de Moura --- src/ast/rewriter/float_rewriter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/rewriter/float_rewriter.cpp b/src/ast/rewriter/float_rewriter.cpp index 9678af216..482e280e3 100644 --- a/src/ast/rewriter/float_rewriter.cpp +++ b/src/ast/rewriter/float_rewriter.cpp @@ -443,4 +443,4 @@ br_status float_rewriter::mk_eq_core(expr * arg1, expr * arg2, expr_ref & result br_status float_rewriter::mk_to_ieee_bv(expr * arg1, expr_ref & result) { return BR_FAILED; -} \ No newline at end of file +}