un petit detail

825828c6 · MARCHE Claude · 27ec31ce · 825828c6 · 825828c6
Commit 825828c6 authored Mar 16, 2011 by MARCHE Claude
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

examples/programs/next_digit_sum.mlw examples/programs/next_digit_sum.mlw +1 -1

src/ide/gmain.ml src/ide/gmain.ml +1 -1

No files found.
--- a/examples/programs/next_digit_sum.mlw
+++ b/examples/programs/next_digit_sum.mlw
@@ -80,7 +80,7 @@ parameter x : ref (array)
  (* the target digit sum *)
  logic y : int

-  axiom Hypotheses: n > 0 and y > 0
+  axiom Hypotheses: n >= 0 and y > 0

  logic m : int = 1 + max n (div y 9)


--- a/src/ide/gmain.ml
+++ b/src/ide/gmain.ml
@@ -2191,7 +2191,7 @@ let () =
  in ()

 let () =
-  let b = GButton.button ~packing:tools_box#add ~label:"(Replay)" () in
+  let b = GButton.button ~packing:tools_box#add ~label:"Replay" () in
  let i = GMisc.image ~pixbuf:(!image_replay) () in
  let () = b#set_image i#coerce in
  let (_ : GtkSignal.id) =