Timestamp:
Nov 23, 2022, 11:31:58 AM (20 months ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
ADT, ast-experimental, master
Children:
93c10de
Parents:
20cf96d
Message:

Small fix to the exception header, the wrong trait was used in one place.

(No files)

Note: See TracChangeset for help on using the changeset viewer.