diff options
| author | Gaëtan Gilbert | 2017-11-24 14:25:20 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2017-11-24 14:27:55 +0100 |
| commit | 9fd736aaefc53943c1d5c81295d80b234469e0eb (patch) | |
| tree | 57582eb1057b1101cd789eb8d5ba2c4051f19abd /kernel/nativelib.ml | |
| parent | f9b3414888aebd1186f53c46d737536670171ab6 (diff) | |
Fix coq-makefile ocamldoc call when configured with -annotate.
Fixes #6120.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions