From 4c909ee39dee657922631051215ad4cfdcea6080 Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien.guatto@laposte.net>
Date: Thu, 19 Aug 2010 11:47:22 +0200
Subject: [PATCH] Fixed erroneous doc for Eupdate

---
 compiler/minils/minils.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/minils/minils.ml b/compiler/minils/minils.ml
index c3789b8..8700797 100644
--- a/compiler/minils/minils.ml
+++ b/compiler/minils/minils.ml
@@ -77,7 +77,7 @@ and op =
   | Eselect            (** arg1[a_params] *)
   | Eselect_slice      (** arg1[a_param1..a_param2] *)
   | Eselect_dyn        (** arg1.[arg3...] default arg2 *)
-  | Eupdate            (** [ arg1 with a_params = arg2 ] *)
+  | Eupdate            (** [ arg1 with arg3..arg_n = arg2 ] *)
   | Econcat            (** arg1@@arg2 *)
   | Elambda of var_dec list * var_dec list * var_dec list * eq list
       (* inputs, outputs, locals, body *)