diff options
author | 2017-05-28 21:54:11 +0200 | |
---|---|---|
committer | 2017-05-28 21:54:11 +0200 | |
commit | f5e0757c1df43f315a425b8fe4d3397818f8cb76 (patch) | |
tree | aea1f671a7486d7449ad6883f08e6e9a2ce4f744 /interp/interp.mllib | |
parent | fe62902764cc52daa985ad03e6f7ac0f8f1c2c4c (diff) | |
parent | 5cc13770ac2358d583b21f217b8c65d2d5abd850 (diff) |
Merge PR#678: [coqlib] Move `Coqlib` to `library/`.
Diffstat (limited to 'interp/interp.mllib')
-rw-r--r-- | interp/interp.mllib | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/interp/interp.mllib b/interp/interp.mllib index 607af82a0..6d290a325 100644 --- a/interp/interp.mllib +++ b/interp/interp.mllib @@ -14,6 +14,5 @@ Implicit_quantifiers Constrintern Modintern Constrextern -Coqlib Discharge Declare |