diff options
Diffstat (limited to 'otherlibs/labltk/examples_camltk/addition.ml')
| -rw-r--r-- | otherlibs/labltk/examples_camltk/addition.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/examples_camltk/addition.ml b/otherlibs/labltk/examples_camltk/addition.ml index 8f9365bdb..d4b333dcd 100644 --- a/otherlibs/labltk/examples_camltk/addition.ml +++ b/otherlibs/labltk/examples_camltk/addition.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 *) |