diff options
Diffstat (limited to 'otherlibs/graph/graphicsX11.ml')
| -rw-r--r-- | otherlibs/graph/graphicsX11.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/otherlibs/graph/graphicsX11.ml b/otherlibs/graph/graphicsX11.ml index 066952ce67..33ef1bc97c 100644 --- a/otherlibs/graph/graphicsX11.ml +++ b/otherlibs/graph/graphicsX11.ml @@ -11,7 +11,8 @@ (* *) (***********************************************************************) -(* Module [GraphicsX11]: additional graphics primitives for the X Windows system *) +(* Module [GraphicsX11]: additional graphics primitives for + the X Windows system *) type window_id = string @@ -35,5 +36,5 @@ let close_subwindow wid = close_subwindow wid; Hashtbl.remove subwindows wid end else - raise (Graphics.Graphic_failure ("close_subwindow: no such subwindow: " ^ wid)) + raise (Graphics.Graphic_failure("close_subwindow: no such subwindow: "^wid)) ;; |