commit | 4f36ca57e86fb378d83d121bdc424e8477196bd6 | [log] [tgz] |
---|---|---|
author | Michael Ernst <mernst@cs.washington.edu> | Sat Dec 17 16:07:53 2016 -0800 |
committer | Michael Ernst <mernst@cs.washington.edu> | Sat Dec 17 16:07:53 2016 -0800 |
tree | c375c17649ff2d1845f7cc6a97c5c01de5b19470 | |
parent | ccd6ca99dcc90e967dbdd89c282620f810b0594d [diff] |
Change "base type" to "name" for bounded types.