# HG changeset patch
# User wenzelm
# Date 1539805017 -7200
# Node ID 8c501c406d24a0869a27b3a7c7a65ab216ff53c9
# Parent  d0517da45e5c5ce4c3d627493b93a7140ca35e20
tuned message;

diff -r d0517da45e5c -r 8c501c406d24 lib/Tools/ocaml_setup
--- a/lib/Tools/ocaml_setup	Wed Oct 17 20:25:51 2018 +0200
+++ b/lib/Tools/ocaml_setup	Wed Oct 17 21:36:57 2018 +0200
@@ -2,7 +2,7 @@
 #
 # Author: Makarius
 #
-# DESCRIPTION: OCaml setup via OPAM
+# DESCRIPTION: setup OCaml setup via OPAM
 
 if [ -d "$ISABELLE_OPAM_ROOT" ]
 then