diff options
| -rw-r--r-- | checker/checker.ml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/checker/checker.ml b/checker/checker.ml index d5d9b9e3b..a13d529e8 100644 --- a/checker/checker.ml +++ b/checker/checker.ml @@ -217,12 +217,6 @@ open Type_errors let anomaly_string () = str "Anomaly: " let report () = (str "." ++ spc () ++ str "Please report.") -let print_loc loc = - if loc = Loc.ghost then - (str"<unknown>") - else - let loc = Loc.unloc loc in - (int (fst loc) ++ str"-" ++ int (snd loc)) let guill s = str "\"" ++ str s ++ str "\"" let where s = |