diff options
author | 2018-05-24 13:07:06 +0200 | |
---|---|---|
committer | 2018-05-24 13:07:06 +0200 | |
commit | 9a236b4f854bf59be80148db94344347dab27a42 (patch) | |
tree | 73904825dd4c1920550c880ca799bbd5e9d460cd /checker/reduction.ml | |
parent | 6622bc2a735dc8c3b33bd5c149860bbdb339e1a0 (diff) | |
parent | 3bf8320cb8614db81c366c9fb0bdea367e81441a (diff) |
Merge PR #7575: [build] Add -cclib -lcoqrun options to build of kernel.cmxa.
Diffstat (limited to 'checker/reduction.ml')
0 files changed, 0 insertions, 0 deletions