diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-07-07 16:02:35 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-07-07 16:02:35 +0200 |
| commit | 024a7ab20b06d82571c68c3d2ac32cb60fb0053a (patch) | |
| tree | ae813bd2a2f9f060e5031be3471ae477c0cb975c /kernel/inductive.ml | |
| parent | 6f2db13c8677fd0148279483359e75b9f128aebc (diff) | |
test-suite: Fix test-suite Makefile
Using relative path for coqlib, for some reason this fails on Mac OS
X. Took the easiest way to fix it.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions