diff options
| author | Pierre-Marie Pédrot | 2014-12-07 14:05:09 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-12-16 13:21:29 +0100 |
| commit | c816bdb44625b6dba8efa4b0ba39f162b06b737d (patch) | |
| tree | c8f08e980d92c5bd779ae6ee5d080c191a1c8dbd /dev/db | |
| 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 'dev/db')
0 files changed, 0 insertions, 0 deletions