diff options
author | Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-03-05 16:50:04 +0100 |
---|---|---|
committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-03-05 16:57:45 +0100 |
commit | 8fc2509f354b02ec4e0a3eb6fabc329109686c47 (patch) | |
tree | bf7f0738e36d861d57029985ea4f2d3e73d23c15 /lib/flags.ml | |
parent | adfd437f8ae6aaf893119fa4730edecf067dede7 (diff) |
Remove some dead-code (thanks to ocaml warnings)
The removed code isn't used locally and isn't exported in the signature
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)" |