X-Git-Url: https://svn.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/912dbfbf1eb4809f28e4e3a8bdfe76c47e018259..c55d1f23d06e85b0e21cdf5cbc5c8efb6ac3bc1a:/interpreter/aux.ml?ds=sidebyside diff --git a/interpreter/aux.ml b/interpreter/aux.ml index 7c21a61..5321349 100644 --- a/interpreter/aux.ml +++ b/interpreter/aux.ml @@ -18,7 +18,7 @@ let array_map3 = fun f -> fun a -> fun b -> fun c -> if n1 = n2 && n1 = n3 then Array.init n1 (fun i -> f a.(i) b.(i) c.(i)) else raise (Invalid_argument "Array.map3 size not matched.");; -let decorate = fun s -> " Faustine -> " ^ s;; +let decorate = fun s -> " Faustine -> " ^ s ^ "\n";; let xor : bool -> bool -> bool = fun a -> fun b -> (a || b) && (not (a && b));;