merge

README.txt

-(* OASIS_START *)
-(* DO NOT EDIT (digest: 0e1006c0aed2c518149112d2f5878947) *)
 
 lustre-v6 - The Lustre V6 Verimag compiler
 ==========================================
 
-This package contains: - lus2lic: the (current) name of the compiler (and
+This package contains:\n - lus2lic: the (current) name of the compiler (and
 interpreter via -exec) - the lustre-v6 ocaml lib: allows to call the Lustre
-v6 interpreter from ocaml - the lustre-v6 rdbg plugin: allows to debug Lustre
-v6 program wth rdbg
+v6 interpreter ocaml - the lustre-v6 rdbg plugin: allows to debug Lustre v6
+program wth rdbg
 
 See the file [INSTALL.txt](INSTALL.txt) for building and installation
 instructions.
@@ -20,4 +18,3 @@ Copyright and license
 lustre-v6 is distributed under the terms of the Proprietary license, all
 rights reserved.
 
-(* OASIS_STOP *)

_oasis

 OASISFormat: 0.4
 Name:        lustre-v6
-Version:     1.725
+Version:     1.726
 Synopsis:    The Lustre V6 Verimag compiler
 Description: This package contains:
  - lus2lic: the (current) name of the compiler (and interpreter via -exec)

src/lv6version.ml

 (** Automatically generated from Makefile *) 
 let tool = "lus2lic"
 let branch = "master"
-let commit = "720"
-let sha_1 = "a35d8a9a255bf2c97e3c200e720670829d2d585a"
+let commit = "726"
+let sha_1 = "45684e24424db1b7777b3b53d795035b3e25009c"
 let str = (branch ^ "." ^ commit ^ " (" ^ sha_1 ^ ")")
 let maintainer = "erwan.jahier@univ-grenoble-alpes.fr"