diff options
Diffstat (limited to 'otherlibs/labltk/examples_camltk/taddition.ml')
| -rw-r--r-- | otherlibs/labltk/examples_camltk/taddition.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/examples_camltk/taddition.ml b/otherlibs/labltk/examples_camltk/taddition.ml index b4745d6c0..990812d73 100644 --- a/otherlibs/labltk/examples_camltk/taddition.ml +++ b/otherlibs/labltk/examples_camltk/taddition.ml @@ -36,7 +36,7 @@ let main () = r := int_of_string (Entry.get w); refresh () with - Failure "int_of_string" -> + Failure "int_of_string" -> Label.configure result_display [Text "error"] in (* Set the callbacks *) |