Fix copy-paste defect in comment.
authorNoah Misch <noah@leadboat.com>
Sat, 26 Oct 2019 19:55:16 +0000 (12:55 -0700)
committerNoah Misch <noah@leadboat.com>
Sat, 26 Oct 2019 19:55:16 +0000 (12:55 -0700)
commitb804521344fb366215900ac3f01314a1710bc6d8
tree27704eb94334cb2ea570581de3c0848635ad9960
parente653c714c25bb8bde0b80b3bf3a220704b71a106
Fix copy-paste defect in comment.

Commit a7471bd85c05f849e88d6cfe9da3c795008e8f2e introduced it.
src/include/c.h