diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-09-07 22:10:31 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-09-07 22:10:31 +0000 |
commit | ccd8c6ccd5bf8844a8eeae80af6a51557c6b439d (patch) | |
tree | 96ab87a27e043b0d3121a2e0fd3d991a6a9cf7cc /bin | |
parent | c397455538e42794f70f2fece7f8e9f036c80969 (diff) |
proof-assert-electric-terminator: fix for proof-terminal-string, not char
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions