From 57209ca981dd3b1a9d59562311966b1f7543ef8a Mon Sep 17 00:00:00 2001 From: josd Date: Tue, 2 Jul 2024 14:50:56 +0200 Subject: [PATCH] refreshing --- retin3s | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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