commit | 3b089fc69f3b111797e36bd2a881fff6b8cb5213 | [log] [download] |
---|---|---|
author | daniel <daniel> | Sat Jul 18 02:53:47 2020 +0000 |
committer | daniel <daniel> | Sat Jul 18 02:53:47 2020 +0000 |
tree | f0efd75d710993565972247bb54e46a63cb9eecc | |
parent | 5e008eefaa5a20f8aaed2f8cc9890b24efaffe28 [diff] |
Properly escape a backslash. Found by CompCert which notes that \E is not a valid escape sequence. ok nicm@