search

herd / herdtools7

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

[asl] Fix warning 48 #941

Closed HadrienRenaud closed 2 months ago

HadrienRenaud commented 2 months ago

Some PR (PR https://github.com/herd/herdtools7/pull/931, commit https://github.com/herd/herdtools7/commit/26928528816d5d5873213bb2baafe2b6d395523c) has been merged while compilation yields warnings. Fix this.