diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-03 15:23:57 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-03 15:53:49 +0100 |
commit | c4f270f573360e39bd91e3ffff8d37775b2871d7 (patch) | |
tree | 7419764e14de7287b48f448dde27272beb7eedf5 /stm/asyncTaskQueue.mli | |
parent | 7af811e5100839484cbed0126b5c37a972487ec3 (diff) |
Subtle swap of lines to preserve VarInstance src field before checking
for residual unifiable evars (otherwise "thin" from logic.ml, erases
the src field) + typo.
Diffstat (limited to 'stm/asyncTaskQueue.mli')
0 files changed, 0 insertions, 0 deletions