diff options
| author | Matthieu Sozeau | 2014-07-07 00:54:30 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-07-07 00:56:23 +0200 |
| commit | f7e7dcb3513329d82b21f224bb5c5acec445752e (patch) | |
| tree | 37c2a87dbfe224a433d86f6d25124683a80a3152 /kernel | |
| parent | ff81b7f1ffa594ab9f6fd174238b04cbbb1cfb71 (diff) | |
In flex-flex cases, the undefinedness of an evar can not be preseved after converting
the stacks. Take care of this by recalling unification.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions