diff --git a/bin/hilex/c.l b/bin/c11.l index 21e7d44b..21e7d44b 100644 --- a/bin/hilex/c.l +++ b/bin/c11.l