Rename `Rmtmps` module to `RmUnused`

goblint / cil

C Intermediate Language

https://goblint.github.io/cil/

Other

133 stars 20 forks source link

Closed just-max closed 1 year ago

just-max commented 1 year ago

Also change Rmtmps.removeUnusedTemps to RmUnused.removeUnused.

just-max commented 1 year ago

Should be ready now!