From 964102edce14590b6358787f792a0a012d9ba65b Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 16 Jan 2020 09:43:56 +0100
Subject: [PATCH] Change PrologPrinter to write parser Git hash instead of
build time
This matches what the B parser's own Prolog term printing code does.
---
src/main/java/de/tla2b/output/PrologPrinter.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/de/tla2b/output/PrologPrinter.java b/src/main/java/de/tla2b/output/PrologPrinter.java
index 9a2d280..feb5726 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();
--
GitLab