- cic_exportation, cic_acic, acic_content (only parts related to acic)

[helm.git] / matita / components / ng_kernel / nUri.ml

diff --git a/matita/components/ng_kernel/nUri.ml b/matita/components/ng_kernel/nUri.ml
index 5d810729404c5ea739e735e877edfe9bf6dfdf8d..e92be39e16d6a4b6575c66101b042b1aaca309d8 100644 (file)
--- a/matita/components/ng_kernel/nUri.ml
+++ b/matita/components/ng_kernel/nUri.ml
@@ -20,6 +20,10 @@ let name_of_uri (_, uri) =
   Filename.chop_extension name
 ;;
 
+let baseuri_of_uri (_,uri) =
+ Filename.dirname uri
+;;
+
 module OrderedStrings =
  struct
   type t = string