diff options
| author | Brian Campbell | 2017-06-28 17:29:32 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-06-28 17:29:32 +0100 |
| commit | 8a3c9dfc84e552d296c80c38b417c2b22e6f1da8 (patch) | |
| tree | 04cd21041bdf47e1745f174308815b467f1401f5 /src/gen_lib | |
| parent | 6779d3d45e1bd33fee6a069808170a1321da1f66 (diff) | |
Use more plausible type for E_case
(Previously it used the last branch's type!)
Diffstat (limited to 'src/gen_lib')
0 files changed, 0 insertions, 0 deletions