Fix incorrect index in output

The indices printed in the output are meant to be indexed starting with
1 and not 0.
This commit is contained in:
Patrick Lühne 2018-04-21 17:09:35 +02:00
parent f65d4dbbd8
commit 9c792ff079
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF

View File

@ -154,7 +154,7 @@ void translate(const char *fileName, std::istream &stream, Context &context)
<< output::Keyword("int") << output::Keyword("int")
<< "(" << predicateDeclaration->name << "(" << predicateDeclaration->name
<< "/" << output::Number(predicateDeclaration->arity()) << "/" << output::Number(predicateDeclaration->arity())
<< "@" << output::Number(i) << "@" << output::Number(i + 1)
<< ")." << std::endl; << ")." << std::endl;
} }
} }