--- a/lib/Tools/ocaml_setup Sat Dec 22 15:45:40 2018 +0100
+++ b/lib/Tools/ocaml_setup Sat Dec 22 17:02:29 2018 +0100
@@ -2,7 +2,7 @@
#
# Author: Makarius
#
-# DESCRIPTION: setup OCaml setup via OPAM
+# DESCRIPTION: setup OCaml via OPAM
if [ -d "$ISABELLE_OPAM_ROOT" ]
then