From 9c792ff07977f9c5f19667e39429d13d42ad5500 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Sat, 21 Apr 2018 17:09:35 +0200
Subject: [PATCH] Fix incorrect index in output

The indices printed in the output are meant to be indexed starting with
1 and not 0.
---
 src/anthem/Translation.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/anthem/Translation.cpp b/src/anthem/Translation.cpp
index 2c9f86f..c291690 100644
--- a/src/anthem/Translation.cpp
+++ b/src/anthem/Translation.cpp
@@ -154,7 +154,7 @@ void translate(const char *fileName, std::istream &stream, Context &context)
 				<< output::Keyword("int")
 				<< "(" << predicateDeclaration->name
 				<< "/" << output::Number(predicateDeclaration->arity())
-				<< "@" << output::Number(i)
+				<< "@" << output::Number(i + 1)
 				<< ")." << std::endl;
 		}
 	}