diff options
author | 2010-09-07 22:10:31 +0000 | |
---|---|---|
committer | 2010-09-07 22:10:31 +0000 | |
commit | ccd8c6ccd5bf8844a8eeae80af6a51557c6b439d (patch) | |
tree | 96ab87a27e043b0d3121a2e0fd3d991a6a9cf7cc /etc/trac/trac-346.v | |
parent | c397455538e42794f70f2fece7f8e9f036c80969 (diff) |
proof-assert-electric-terminator: fix for proof-terminal-string, not char
Diffstat (limited to 'etc/trac/trac-346.v')
0 files changed, 0 insertions, 0 deletions