interval issueshttps://gitlab.inria.fr/coqinterval/interval/-/issues2020-12-29T12:15:35+01:00https://gitlab.inria.fr/coqinterval/interval/-/issues/4Example / test files cannot be compiled cause of hyphen in name2020-12-29T12:15:35+01:00Michael SoegtropExample / test files cannot be compiled cause of hyphen in nameSince a while coqc does not accept file names with hyphens in the name. This means that none of the supplied test / example files can be compiled with coqc. E.g.:
```
$ coqc example-20071016.v
Error: Invalid character '-' in identifier "...Since a while coqc does not accept file names with hyphens in the name. This means that none of the supplied test / example files can be compiled with coqc. E.g.:
```
$ coqc example-20071016.v
Error: Invalid character '-' in identifier "example-20071016".
```