From b7b6d71173e89f22215ec2eba3e25e3133a68cdb Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Fri, 29 Jan 2016 17:26:02 +0100
Subject: [PATCH] oups: Makefile.dev was not tracked... hence the 2 previous
commits are empty.
---
_oasis | 2 +-
src/lv6version.ml | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/_oasis b/_oasis
index c5d9e672..095b4629 100644
--- a/_oasis
+++ b/_oasis
@@ -1,6 +1,6 @@
OASISFormat: 0.4
Name: lustre-v6
-Version: 1.633
+Version: 1.634
Synopsis: The Lustre V6 Verimag compiler
Description: This package contains:
- lus2lic: the (current) name of the compiler (and interpreter via -exec).
diff --git a/src/lv6version.ml b/src/lv6version.ml
index 53bac4a5..0aeb148c 100644
--- a/src/lv6version.ml
+++ b/src/lv6version.ml
@@ -1,7 +1,7 @@
(** Automatically generated from Makefile *)
let tool = "lus2lic"
let branch = "master"
-let commit = "633"
-let sha_1 = "11223b59a86e6a35ef5c04f33a1b7d1710eb8bd8"
+let commit = "634"
+let sha_1 = "15ee22b5c4da9ba40af267d9780dedc68b1fca18"
let str = (branch ^ "." ^ commit ^ " (" ^ sha_1 ^ ")")
let maintainer = "jahier@imag.fr"
--
GitLab