X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Futils.mli;fp=src%2Futils.mli;h=5fabcfb9b1d8e5fe6e114ed6ba17b68d999d1d12;hb=6afdc65fcdb592dccb751849f65b1f482ef97cd6;hp=e3981cd6951370e9812d90ae4d62f18207560c32;hpb=315ceff80b09b76959a067fa2f3288f22d2e55da;p=goals.git

diff --git a/src/utils.mli b/src/utils.mli
index e3981cd..5fabcfb 100644
--- a/src/utils.mli
+++ b/src/utils.mli
@@ -40,3 +40,6 @@ val triml : ?test:(char -> bool) -> string -> string
 val trimr : ?test:(char -> bool) -> string -> string
 val trim : ?test:(char -> bool) -> string -> string
 (** Trim strings at left, right or both. *)
+
+val absolute_path : string -> string
+(** Convert any path into an absolute path. *)