X-Git-Url: https://scm.cri.mines-paristech.fr/git/Faustine.git/blobdiff_plain/f59ac471aa5a080301d70e7d7e1e81f34151ba2f..cc8ed2bd6bd5a60156d63040b2d352ad5b1a3095:/interpretor/aux.ml?ds=inline

diff --git a/interpretor/aux.ml b/interpretor/aux.ml
index 9463cae..3f75f06 100644
--- a/interpretor/aux.ml
+++ b/interpretor/aux.ml
@@ -22,3 +22,5 @@ let array_map3 = fun f -> fun a -> fun b -> fun c ->
   let n3 = Array.length c in
   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;;