search

AbsInt / CompCert

The CompCert formally-verified C compiler
https://compcert.org
Other
1.85k stars 225 forks source link

Fix a comment in Cstrategy.v #485

Closed Hughshine closed 1 year ago

Hughshine commented 1 year ago

A trivial PR :D