diff options
| author | Matthieu Sozeau | 2015-11-02 15:22:07 -0500 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-11-02 16:23:15 -0500 |
| commit | dc65d720f3928fd987f82e1571521b52844dd248 (patch) | |
| tree | 27cdf3915ce0298334b2d3f5b98d6ed257b26c3f /kernel | |
| parent | c920b420a27bd561967e316dcaca41d5e019a7b8 (diff) | |
Fix bug #4397: refreshing types in abstract_generalize.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions