From 5ba33d363036956553e9dbfd903f4ff84c20c76f Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Fri, 1 Sep 2017 14:34:53 +0200
Subject: [PATCH] Updated Git.ml

---
 ocaml/create_git_sha1.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/ocaml/create_git_sha1.sh b/ocaml/create_git_sha1.sh
index f1fb7fa6..35cbb7d5 100755
--- a/ocaml/create_git_sha1.sh
+++ b/ocaml/create_git_sha1.sh
@@ -4,9 +4,9 @@ SHA1=$(git log -1  | head -1 | cut -d ' ' -f 2)
 DATE=$(git log -1  | grep Date | cut -d ':' -f 2-)
 MESSAGE=$(git log -1  | tail -1 | sed 's/"/\\"/g')
 cat << EOF > Git.ml
-open Core.Std
-let sha1 = "$SHA1" |> String.strip
-let date = "$DATE" |> String.strip
-let message = "$MESSAGE" |> String.strip
+open Core
+let sha1 = "$SHA1" |> String_ext.strip
+let date = "$DATE" |> String_ext.strip
+let message = "$MESSAGE" |> String_ext.strip
 EOF