From 18e825ee64661281692175b6393144c851e38103 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Wed, 29 Nov 1995 13:37:49 +0000 Subject: [PATCH] Mort aux doubles point-virgules. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@493 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- otherlibs/num/arith_flags.mli | 2 +- otherlibs/num/arith_status.mli | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/otherlibs/num/arith_flags.mli b/otherlibs/num/arith_flags.mli index 948a8438e..d8098be28 100644 --- a/otherlibs/num/arith_flags.mli +++ b/otherlibs/num/arith_flags.mli @@ -15,4 +15,4 @@ val error_when_null_denominator_flag : bool ref val normalize_ratio_flag : bool ref val normalize_ratio_when_printing_flag : bool ref val floating_precision : int ref -val approx_printing_flag : bool ref;; +val approx_printing_flag : bool ref diff --git a/otherlibs/num/arith_status.mli b/otherlibs/num/arith_status.mli index c0b7f878f..77bf2e3f9 100644 --- a/otherlibs/num/arith_status.mli +++ b/otherlibs/num/arith_status.mli @@ -13,7 +13,7 @@ (* Module [Arith_status]: flags that control rational arithmetic *) -val arith_status: unit -> unit;; +val arith_status: unit -> unit (* Print the current status of the arithmetic flags. *) val get_error_when_null_denominator : unit -> bool @@ -46,4 +46,4 @@ val set_floating_precision : int -> unit This parameter is the number of digits displayed when [approx_printing] is on. Initially: 12. *) -;; +