2 files changed, 0 insertions, 8 deletions
diff --git a/lib/loc.ml b/lib/loc.ml
index e02fe108d6..9107dce471 100644
--- a/lib/loc.ml
+++ b/lib/loc.ml
@@ -55,10 +55,6 @@ let unloc loc = (loc.bp, loc.ep)
 
 let join_loc = merge
 
-let internal_ghost = {
-  fname = ""; line_nb = -1; bol_pos = 0; line_nb_last = -1; bol_pos_last = 0;
-  bp = 0; ep = 0; }
-
 (** Located type *)
 type 'a located = t option * 'a
 
diff --git a/lib/loc.mli b/lib/loc.mli
index 6de6c584d8..110920d5ad 100644
--- a/lib/loc.mli
+++ b/lib/loc.mli
@@ -32,10 +32,6 @@ val unloc : t -> int * int
 val make_loc : int * int -> t
 (** Make a location out of its start and end position *)
 
-val internal_ghost : t
-
-(** Test whether the location is meaningful *)
-
 val merge : t -> t -> t
 val merge_opt : t option -> t option -> t option