diff --git a/README.txt b/README.txt
index fc903b01c5379ea3990d1658f226b0f24f2df01e..fdb1066367b09a057bf07170b6176a916402bb1d 100644
--- a/README.txt
+++ b/README.txt
@@ -1,13 +1,11 @@
-(* 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 *)
diff --git a/_oasis b/_oasis
index 561091ebde1a60b9051e1c6324e845843f040e26..213952ba483c60f3c198b390730a29021709eb22 100644
--- a/_oasis
+++ b/_oasis
@@ -1,6 +1,6 @@
 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)
diff --git a/src/lv6version.ml b/src/lv6version.ml
index 669e7ab147d9f4d12a7ef2cf0c1a0f819d4f24a5..a7661165eccfa08b21a61e8bdbe6bd126ed2c313 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 = "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"