tree a403a7a0d42c92b45d8a456ddcdeff52cd7872f1
parent 503036f964569e8164716e00bb63d29c141a8f2f
author Andreas Rossberg <rossberg@mpi-sws.org> 1770980665 +0100
committer Andreas Rossberg <rossberg@mpi-sws.org> 1770980665 +0100

Make spec compile again