diff options
Diffstat (limited to 'tools/coqdep.ml')
| -rw-r--r-- | tools/coqdep.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/coqdep.ml b/tools/coqdep.ml index ebc939b7e..cca6ac0fc 100644 --- a/tools/coqdep.ml +++ b/tools/coqdep.ml @@ -107,10 +107,10 @@ let safe_assoc verbose file k = let absolute_dir dir = let current = Sys.getcwd () in - Sys.chdir dir; - let dir' = Sys.getcwd () in - Sys.chdir current; - dir' + Sys.chdir dir; + let dir' = Sys.getcwd () in + Sys.chdir current; + dir' let absolute_file_name basename odir = let dir = match odir with Some dir -> dir | None -> "." in |