Unified · Split
| @@ -3412,7 +3412,7 @@ let viewkeyboard key mask = · 3411 unmodified lines | |||
| 3412 | let ondone s = | 3412 | let ondone s = |
| 3413 | let n = | 3413 | let n = |
| 3414 | try int_of_string s with exn -> | 3414 | try int_of_string s with exn -> |
| 3415 | settextfmt "bad integer `%s': %s" s @@ exntos exn; | 3415 | adderrfmt "int_of_string" "`%s': %s" s @@ exntos exn; |
| 3416 | -1 | 3416 | -1 |
| 3417 | in | 3417 | in |
| 3418 | if n >= 0 | 3418 | if n >= 0 |