Mort aux doubles point-virgules.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@493 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
lucasaiu · Nov 29, 1995 · c52e741 · c52e741
1 parent f320cda
commit c52e741
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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. *)
-;;
+