diff options
Diffstat (limited to 'src/path.ml')
| -rw-r--r-- | src/path.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/path.ml b/src/path.ml index 2a803c5..374c4d4 100644 --- a/src/path.ml +++ b/src/path.ml @@ -207,5 +207,5 @@ let followLink path = (Util.osType = `Unix || Util.isCygwin) && Pred.test followPred (toString path) -let magic p = p -let magic' p = p +let forceLocal p = p +let makeGlobal p = p |