diff options
author | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-30 19:29:42 +0200 |
---|---|---|
committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-10-02 00:07:10 +0200 |
commit | ef0137b1782d01426938578b487052abb918d527 (patch) | |
tree | a34a95463f3ef6e867172f73b6a7272a35e7e0a1 /stm/dag.mli | |
parent | b9cbf680f13927340720d1d0f4938dcc6cd65d1f (diff) |
Fix treatment of projections in Cst_stacks and unfolding behavior in evarconv.
Diffstat (limited to 'stm/dag.mli')
0 files changed, 0 insertions, 0 deletions