diff options
| -rw-r--r-- | otherlibs/graph/graphics.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/graph/graphics.mli b/otherlibs/graph/graphics.mli index d1077f655..e66324850 100644 --- a/otherlibs/graph/graphics.mli +++ b/otherlibs/graph/graphics.mli @@ -11,7 +11,7 @@ (* $Id$ *) -(* Machine-independent graphics primitives *) +(* Module [Graphics]: machine-independent graphics primitives *) exception Graphic_failure of string (* Raised by the functions below when they encounter an error. *) |