diff options
Diffstat (limited to 'dis/postproc.sh')
| -rwxr-xr-x | dis/postproc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dis/postproc.sh b/dis/postproc.sh index efe6774..0147595 100755 --- a/dis/postproc.sh +++ b/dis/postproc.sh | |||
| @@ -14,5 +14,5 @@ if [[ ! -f $1.txt ]]; then | |||
| 14 | echo "Input does not exist. Exiting..." | 14 | echo "Input does not exist. Exiting..." |
| 15 | exit | 15 | exit |
| 16 | fi | 16 | fi |
| 17 | ./summarize.py $1.txt --inf-precision > $1-pp.txt | 17 | ../summarize.py $1.txt --inf-precision > $1-pp.txt |
| 18 | ./clean.sh $1-pp.txt | 18 | ./clean.sh $1-pp.txt |
