diff --git a/_oasis b/_oasis index 237a9930ed9a501378f8c89a65b0b83253cdb48e..55254b1455f05943778b9552bbd280a0937570a6 100644 --- a/_oasis +++ b/_oasis @@ -1,6 +1,6 @@ OASISFormat: 0.4 Name: lutils -Version: 1.48.4 +Version: 1.49.0 Authors: Erwan Jahier Maintainers: erwan.jahier@imag.fr License: CeCILL diff --git a/setup.ml b/setup.ml index 127f92ca8e507f752dd7dd2155680a58a18b9ad9..89e32e082f2e3ebc00f703b4511f5cdd33aadf8e 100644 --- a/setup.ml +++ b/setup.ml @@ -1,7 +1,7 @@ (* setup.ml generated for the first time by OASIS v0.4.10 *) (* OASIS_START *) -(* DO NOT EDIT (digest: 0c758f755071e02b8680d49ec3de0d51) *) +(* DO NOT EDIT (digest: a95d498fb7e525d45c7e1d536baa63c1) *) (* Regenerated by OASIS v0.4.11 Visit http://oasis.forge.ocamlcore.org for more information and @@ -6871,7 +6871,7 @@ let setup_t = { oasis_version = "0.4"; ocaml_version = Some (OASISVersion.VGreaterEqual "4.02"); - version = "1.48.4"; + version = "1.49.0"; license = OASISLicense.DEP5License (OASISLicense.DEP5Unit @@ -7272,7 +7272,7 @@ let setup_t = }; oasis_fn = Some "_oasis"; oasis_version = "0.4.11"; - oasis_digest = Some "[\\\018+W\194\b`\228\204\029)\210\150Hh"; + oasis_digest = Some "\002\136\158x\241rb P\205\213\222\175\011H\164"; oasis_exec = None; oasis_setup_args = []; setup_update = false diff --git a/src/META b/src/META index 941f14720f0789efec9ad1ab12abb8b02a04a454..977f8a76f13fc481f203141286cc26857fd39067 100644 --- a/src/META +++ b/src/META @@ -1,6 +1,6 @@ # OASIS_START -# DO NOT EDIT (digest: 06559c9820fe6da4e22facc22500165a) -version = "1.48.4" +# DO NOT EDIT (digest: f351b7e0b8c5807d7f7b102b2bf31c79) +version = "1.49.0" description = "shared by Verimag/synchronous tools (lustre, lutin, rdbg)." requires = "unix str camlp4 num" archive(byte) = "lutils.cma" diff --git a/src/rifIO.ml b/src/rifIO.ml index fb1887ff61e6816641685b6401ac67c59ddbe4cc..de7a6db383661d1c94453202648eb6aae0f16554 100644 --- a/src/rifIO.ml +++ b/src/rifIO.ml @@ -1,4 +1,4 @@ -(* Time-stamp: <modified the 01/02/2019 (at 10:45) by Erwan Jahier> *) +(* Time-stamp: <modified the 23/04/2019 (at 11:10) by Erwan Jahier> *) (*----------------------------------------------------------------------- ** This file may only be copied under the terms of the CeCILL ** Public License @@ -365,7 +365,7 @@ let (write_outputs : out_channel -> (float -> string) -> vntl -> subst list -> u acc^ (try Data.val_to_string s2f (List.assoc vn sl) with | Not_found -> - Printf.eprintf ("\n*** RifIO: %s not found in %s \n") vn + Printf.eprintf ("\n*** RifIO: %s not found in {%s} \n") vn (String.concat "," (List.map (fun (n,_) -> n) sl)); flush stderr; "nil"