remove Warings.super_report since Warnings.message is consolidated

Author: bobzhang

utils/warnings.ml

@@ -645,17 +645,7 @@ let report w =
              }
 ;;
 
-#if true then
-let super_report message w =
-  match is_active w with
-  | false -> `Inactive
-  | true ->
-     if is_error w then incr nerrors;
-     `Active { number = number w; message = message w; is_error = is_error w;
-               sub_locs = sub_locs w;
-             }
-;;    
-#end
+
 exception Errors;;
 
 let reset_fatal () =

utils/warnings.mli

@@ -137,7 +137,4 @@ val mk_lazy: (unit -> 'a) -> 'a Lazy.t
 val nerrors : int ref
 val message : t -> string 
 val number: t -> int
-val super_report :
-  (t -> string) ->
-  t ->  [ `Active of reporting_information | `Inactive ]
 #end