diff options
| author | Enrico Tassi | 2014-02-25 11:05:06 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-02-26 14:53:08 +0100 |
| commit | 8eae572c0bbc0a3f597f43a00c0c84875bcf2286 (patch) | |
| tree | a06a2b886f5d2b229765bb474df090ec78675f05 /kernel | |
| parent | 02ca1e0bc62f58a5f5d321c42452509b9ec1f198 (diff) | |
Library: when compiling multiple files, reset the opaque tables
That was a bug. coqc a b was generating (for b) an opaque table containing
also the proofs of a.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions