diff options
| -rw-r--r-- | utils/warnings.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/utils/warnings.ml b/utils/warnings.ml index a950a844e..8393f9163 100644 --- a/utils/warnings.ml +++ b/utils/warnings.ml @@ -293,7 +293,6 @@ let check_fatal () = end; ;; - let descriptions = [ 1, "Suspicious-looking start-of-comment mark."; @@ -336,7 +335,9 @@ let descriptions = 30, "Two labels or constructors of the same name are defined in two\n\ \ mutually recursive types."; ] +;; let help_warnings () = List.iter (fun (i, s) -> Printf.printf "%3i %s\n" i s) descriptions; exit 0 +;; |