diff options
author | Eduardo Julian | 2022-01-24 04:44:32 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-01-24 04:44:32 -0400 |
commit | 6f55815f7f237df406e72c7a723055bb6238fce5 (patch) | |
tree | 64fb65d63c18aac5ba1416ccbdcc082eb6f860e8 /documentation/bookmark/type_theory | |
parent | 971c90ca9bcaa656f2e5682d61ca8054a59a8fea (diff) |
Fixed compilation of <init> methods for anonymous classes.
Diffstat (limited to 'documentation/bookmark/type_theory')
0 files changed, 0 insertions, 0 deletions