daily pastebin goal
69%
SHARE
TWEET

Untitled

a guest Feb 18th, 2019 58 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. --- ocaml-4.02.1/otherlibs/num/nat.ml   2015-02-21 23:41:10.091740525 +0100
  2. +++ ocaml-ext/otherlibs/num/nat.ml  2015-02-21 23:54:56.203770275 +0100
  3. @@ -539,7 +539,7 @@
  4.          | _ -> int := !int * base + base_digit_of_char c base;
  5.                 incr digits_read
  6.          end;
  7. -        if (!digits_read = pint || i = bound) && not (!digits_read = 0) then
  8. +        if (!digits_read = pmax || i = bound) && not (!digits_read = 0) then
  9.            begin
  10.             set_digit_nat nat1 0 !int;
  11.             let erase_len = if !new_len = !current_len then !current_len - 1
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top