diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-06-08 20:54:08 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-06-08 20:54:08 -0400 |
| commit | 591649f4631e348b65b61d3f1f4ccfe1f6baf7cc (patch) | |
| tree | d21adc2e438402cfc33a656a4b6db37c3b4b28ac /contrib/run-script-smtcomp2015-assertions | |
| parent | a511f7a440aa99ea9db075a4356067b71902334f (diff) | |
make comment precise
Diffstat (limited to 'contrib/run-script-smtcomp2015-assertions')
0 files changed, 0 insertions, 0 deletions