diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-12-07 14:05:09 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-12-16 13:21:29 +0100 |
| commit | c816bdb44625b6dba8efa4b0ba39f162b06b737d (patch) | |
| tree | c8f08e980d92c5bd779ae6ee5d080c191a1c8dbd /proofs/refiner.ml | |
| parent | bff51607cfdda137d7bc55d802895d7f794d5768 (diff) | |
Proper thread-safe implementation for Exninfo.
This is the second part of the Exninfo patch. It introduces dependency in
the Thread library in all Coq files.
Diffstat (limited to 'proofs/refiner.ml')
0 files changed, 0 insertions, 0 deletions