diff options
| author | Matthieu Sozeau | 2014-07-09 20:06:13 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-07-09 20:08:29 +0200 |
| commit | ab5d23b0a82fba784080946f6bb00dd123f64080 (patch) | |
| tree | f3ae7df2b34770c39c62a0249a3537d7b296a73c /lib/cThread.ml | |
| parent | 632e7a52e634634d1ba71325b30283dc70ff4b3c (diff) | |
Revert patch making the oracle be used for the transparent state in evarconv,
which made CoRN (and probably Ergo) fail. Another option should be found for
making a constant not unfoldable by tactics/refinement.
Diffstat (limited to 'lib/cThread.ml')
0 files changed, 0 insertions, 0 deletions