[location] Remove Loc.ghost.

Now it is a private field, locations are optional.

1 files changed, 2 insertions, 2 deletions

diff --git a/ide/xmlprotocol.ml b/ide/xmlprotocol.ml
index bf52b0b52b..53eb1a95ff 100644
--- a/ide/xmlprotocol.ml
+++ b/ide/xmlprotocol.ml
@@ -863,7 +863,7 @@ let to_feedback_content = do_match "feedback_content" (fun s a -> match s,a with
   | "workerstatus", [ns] ->
        let n, s = to_pair to_string to_string ns in
        WorkerStatus(n,s)
-  | "custom", [loc;name;x]-> Custom (to_loc loc, to_string name, x)
+  | "custom", [loc;name;x]-> Custom (to_option to_loc loc, to_string name, x)
   | "filedependency", [from; dep] ->
       FileDependency (to_option to_string from, to_string dep)
   | "fileloaded", [dirpath; filename] ->
@@ -896,7 +896,7 @@ let of_feedback_content = function
       constructor "feedback_content" "workerstatus"
         [of_pair of_string of_string (n,s)]
   | Custom (loc, name, x) ->
-      constructor "feedback_content" "custom" [of_loc loc; of_string name; x]
+      constructor "feedback_content" "custom" [of_option of_loc loc; of_string name; x]
   | FileDependency (from, depends_on) ->
       constructor "feedback_content" "filedependency" [
         of_option of_string from;