diff --git a/retin3s b/retin3s index 0b2dfe1..bbba6d8 100755 --- a/retin3s +++ b/retin3s @@ -9,7 +9,7 @@ fi TMPDIR=$(mktemp -d) -eye --nope --quiet --pass --no-bnode-relabeling --ignore-inference-fuse --n3p-output $1 2>/dev/null > ${TMPDIR}/program.n3p +eye --nope --quiet --pass --no-bnode-relabeling --ignore-inference-fuse $1 --intermediate ${TMPDIR}/program.n3p $prolog -g run $retina ${TMPDIR}/program.n3p > ${TMPDIR}/result.pl