From f40ba3e6db07e9656a89edaec15d182596630336 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Fri, 8 Oct 2010 11:02:56 +0100 Subject: [PATCH] rounding function was incorrect (ulrich's #180) --- pl/flags.yap | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pl/flags.yap b/pl/flags.yap index 48149d080..7e9a88425 100644 --- a/pl/flags.yap +++ b/pl/flags.yap @@ -938,8 +938,8 @@ yap_flag(dialect,yap). '$transl_to_arity'(X1,X) :- X1 < 0, !, X = unbounded. '$transl_to_arity'(X,X). -'$transl_to_rounding_function'(0,down). -'$transl_to_rounding_function'(1,toward_zero). +'$transl_to_rounding_function'(0,toward_zero). +'$transl_to_rounding_function'(1,down). '$transl_to_trl_types'(0,chars). '$transl_to_trl_types'(1,codes).