search

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)
Other
220 stars 57 forks source link

[asl] Silence warning 48 in `asllib` #940

Closed HadrienRenaud closed 1 month ago

HadrienRenaud commented 1 month ago

@maranget Is that a good-enough fix for #936?

HadrienRenaud commented 1 month ago

Following discussions in #939, closing this.