summaryrefslogtreecommitdiff
path: root/src/ragel/ragel.rl
diff options
context:
space:
mode:
authorJari Vetoniemi <mailroxas@gmail.com>2017-12-07 22:05:30 +0200
committerJari Vetoniemi <mailroxas@gmail.com>2017-12-07 22:05:30 +0200
commit0ec51164dbbf1d999bf31ca18990df5980fcaa9b (patch)
treecaad6f57525e21ec10e265186850e59eca7da797 /src/ragel/ragel.rl
parentce6a6f86e9202b6542605255deb42567d84f4816 (diff)
dump.c: Postcond that we actually read something
Diffstat (limited to 'src/ragel/ragel.rl')
0 files changed, 0 insertions, 0 deletions