snapshot, still work in progress

[helm.git] / helm / ocaml / metadata / metadataExtractor.ml

diff --git a/helm/ocaml/metadata/metadataExtractor.ml b/helm/ocaml/metadata/metadataExtractor.ml
index 0bd5eaed3988c9695637e50898698ae41a980e38..9f9b721f69f60184fa47244088ee9595a4e1ea57 100644 (file)
--- a/helm/ocaml/metadata/metadataExtractor.ml
+++ b/helm/ocaml/metadata/metadataExtractor.ml
@@ -201,3 +201,5 @@ let compute ~body ~ty =
         body_metadata)
       type_metadata)
 
+let compute_term start_pos term = S.elements (compute_term start_pos term)
+