jepler/ProvenDelights
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

preprocess: Correct #line directives

Browse source 
they were off by one
This commit is contained in:
Jeff Epler 2020-06-12 15:22:56 -05:00
parent 2f3caa7c59
commit 6ffbb32667
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
preprocess.py
View file

@ -30,10 +30,10 @@ def convert(fn, args):
if not args.header_only:
with open(proof_cc, 'w') as f:
print('#include "proof_common.h"', file=f)
print('#line %d "%s"' % (imp_line, fn), file=f)
print('#line %d "%s"' % (imp_line+1, fn), file=f)
for line in implementation:
print(line, file=f)
print('#line %d "%s"' % (proof_line, fn), file=f)
print('#line %d "%s"' % (proof_line+1, fn), file=f)
for line in proof:
print(line, file=f)