From ddf014cc7f5dd9dbc9ce8bbc6e32ed56c2b015af Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 20 Dec 2017 14:00:41 -0800
Subject: [PATCH] feat(library/init/version): add `lean.githash : string`

---
 library/init/version.lean.in | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/library/init/version.lean.in b/library/init/version.lean.in
index 8457853ebb..6eb3b3fc6f 100644
--- a/library/init/version.lean.in
+++ b/library/init/version.lean.in
@@ -1,5 +1,8 @@
 prelude
-import init.data.nat.basic
+import init.data.nat.basic init.data.string.basic
 
 def lean.version : nat × nat × nat :=
 (@LEAN_VERSION_MAJOR@, @LEAN_VERSION_MINOR@, @LEAN_VERSION_PATCH@)
+
+def lean.githash : string :=
+"@GIT_SHA1@"