Commits

camlspotter committed 3589d8d

stopped printing the warnings for ghost locations

Comments (0)

Files changed (1)

       in
       match check_location loc with
       | Wellformed -> really_record ()
-      | Flipped -> Format.eprintf "%aWarning: Flipped location.@." Location.print loc; really_record ()
-      | Illformed -> Format.eprintf "%aWarning: Ill-formed location.@." Location.print loc
+      | Flipped -> 
+          if not loc.Location.loc_ghost then Format.eprintf "%aWarning: Flipped location.@." Location.print loc; 
+          really_record ()
+      | Illformed -> 
+          if not loc.Location.loc_ghost then Format.eprintf "%aWarning: Ill-formed location.@." Location.print loc
       | Over_files -> ()
     end