Browse Source

Amend comment

Leo 9 years ago
parent
commit
fb8a0ab11c
1 changed files with 3 additions and 2 deletions
  1. 3 2
      src/licencing.ml

+ 3 - 2
src/licencing.ml

@@ -1232,6 +1232,7 @@ let print ~cecill =
     | false -> Messages.debug "Choosing warn"; warn
     | false -> Messages.debug "Choosing warn"; warn
     | true -> Messages.debug "Choosing licence"; licence
     | true -> Messages.debug "Choosing licence"; licence
   end
   end
-  |> print_endline (* XXX Using print_endline to ensure we can't avoid printing
-                      with verbosity parameter *)
+  (* XXX Using print_endline, instead of a function from
+  Messages.ml to ensure we can't avoid printing with verbosity parameter *)
+  |> print_endline
 ;;
 ;;