Cleanup

Co-authored-by: Paul-Elliot <[email protected]>
ocaml · Aug 31, 2023 · 68a640e · 68a640e
1 parent 080ccff
commit 68a640e
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 7 deletions.
diff --git a/src/xref2/env.ml b/src/xref2/env.ml
@@ -588,11 +588,6 @@ let s_extension : Component.Element.extension scope =
     | #Component.Element.extension as r -> Some r
     | _ -> None)
 
-let s_extension_decl : Component.Element.extension_decl scope =
-  make_scope (function
-    | #Component.Element.extension_decl as r -> Some r
-    | _ -> None)
-
 let s_field : Component.Element.field scope =
   make_scope (function #Component.Element.field as r -> Some r | _ -> None)
 

diff --git a/src/xref2/env.mli b/src/xref2/env.mli
@@ -147,8 +147,6 @@ val s_exception : Component.Element.exception_ scope
 
 val s_extension : Component.Element.extension scope
 
-val s_extension_decl : Component.Element.extension_decl scope
-
 val s_field : Component.Element.field scope
 
 val s_label_parent : Component.Element.label_parent scope