X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/55d3838895e5e4567905641c66eaab3bc3c19376..c3e37e979447bade993c7c600dc0b22ca64a571d:/cocci.mli

diff --git a/cocci.mli b/cocci.mli
index f715356..d2b6546 100644
--- a/cocci.mli
+++ b/cocci.mli
@@ -63,3 +63,4 @@ val sp_of_file :
       string list list *
       string list option
 
+val normalize_path : string -> string