diff options
| author | Robert Norton | 2019-09-12 10:49:02 +0100 |
|---|---|---|
| committer | Robert Norton | 2019-09-12 10:49:02 +0100 |
| commit | 4e1724e9c8856e38fd9683c018a43a434bf53565 (patch) | |
| tree | cc72171d9a7a5e8bebed9fa168c1ae96a3f7049d /src/pretty_print_coq.ml | |
| parent | 78ff67666473029726ed1b62fdbc6edc7d1d8812 (diff) | |
Remove unnecessary copies of non-existant files in ocaml backend.
Diffstat (limited to 'src/pretty_print_coq.ml')
0 files changed, 0 insertions, 0 deletions