diff options
| -rw-r--r-- | toplevel/coqtop.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index 53163a4a15..c128332b24 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -84,6 +84,8 @@ let parse_include d = Names.dirpath_of_string (String.sub d (pos+1) (String.length d - pos -1))) with Not_found -> let alias = Filename.basename d in + let alias = + if alias = "." then Filename.basename (Unix.getcwd ()) else alias in if not (Names.is_ident alias) then error ("Cannot find a name to which "^d^" may map in Coq library"); (d, [alias]) |