diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2015-11-24 13:46:36 +0100 |
---|---|---|
committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2015-11-24 13:46:36 +0100 |
commit | 373b7e7d2ef35d7d07070abc28680b48cbb307d9 (patch) | |
tree | 58cd1f5a65aa25964a148fe10d029ce3a786a217 /test/spass/cnf.h | |
parent | 11fb68d03dd24bd875b58c5c33ca34017411b646 (diff) | |
parent | 7044b2f8319fb82111639ee7ced2966f297e59b8 (diff) | |
download | compcert-373b7e7d2ef35d7d07070abc28680b48cbb307d9.tar.gz compcert-373b7e7d2ef35d7d07070abc28680b48cbb307d9.zip |
Merge pull request #76 from fpottier/cut
A fix in the column numbers. A change in one error message.
Diffstat (limited to 'test/spass/cnf.h')
0 files changed, 0 insertions, 0 deletions