diff options
Diffstat (limited to 'lib/flags.ml')
| -rw-r--r-- | lib/flags.ml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/lib/flags.ml b/lib/flags.ml index 91e28132a..3118901ac 100644 --- a/lib/flags.ml +++ b/lib/flags.ml @@ -179,14 +179,6 @@ let is_standard_doc_url url = url = Coq_config.wwwrefman || url = wwwcompatprefix ^ String.sub Coq_config.wwwrefman n (n'-n) -(* same as in System, but copied here because of dependencies *) -let canonical_path_name p = - let current = Sys.getcwd () in - Sys.chdir p; - let result = Sys.getcwd () in - Sys.chdir current; - result - (* Options for changing coqlib *) let coqlib_spec = ref false let coqlib = ref "(not initialized yet)" |