[fleche] Remove wip API that was leftover on mistake.

ejgallego · Jun 11, 2024 · 609e5cb · 609e5cb
1 parent afd9c47
commit 609e5cb
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 7 deletions.
diff --git a/fleche/theory.ml b/fleche/theory.ml
@@ -405,7 +405,3 @@ module Request = struct
     | FullDoc -> Handle.remove_cp_request ~uri ~id
     | PosInDoc { point; _ } -> Handle.remove_pt_request ~uri ~id ~point
 end
-
-(* xxx to remove *)
-let find_doc ~uri =
-  Handle._find_opt ~uri |> Option.map (fun { Handle.doc; _ } -> doc)
diff --git a/fleche/theory.mli b/fleche/theory.mli
@@ -93,6 +93,3 @@ module Register : sig
     val add : t -> unit
   end
 end
-
-(* XXX this is temporal for petanque, will fix before merge *)
-val find_doc : uri:Lang.LUri.File.t -> Doc.t option