diff --git a/src/main/java/de/tla2b/output/PrologPrinter.java b/src/main/java/de/tla2b/output/PrologPrinter.java
index 9a2d280175c06ed72cc82aea6da074d4f4cb5afd..feb5726e4f54c8b486aeaf64241e8b17ee034b88 100644
--- a/src/main/java/de/tla2b/output/PrologPrinter.java
+++ b/src/main/java/de/tla2b/output/PrologPrinter.java
@@ -60,7 +60,7 @@ public class PrologPrinter {
 
 		// parser version
 		pout.openTerm("parser_version");
-		pout.printAtom(BParser.getBuildRevision());
+		pout.printAtom(BParser.getGitSha());
 		pout.closeTerm();
 		pout.fullstop();