X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2Fwhenexpr.mli;h=12ba5841f637f28bb19fe29e09b0baae5b429ae3;hp=c0c6fb2a9440fab77ef3e36f66d2aee8062b1b32;hb=5c7aa66dbdb32b4fc11d0f72a4cc028c7bfb1b55;hpb=108dd86b36e82df2a2029dbd12700f9c83e501c1

diff --git a/lib/whenexpr.mli b/lib/whenexpr.mli
index c0c6fb2..12ba584 100644
--- a/lib/whenexpr.mli
+++ b/lib/whenexpr.mli
@@ -39,6 +39,7 @@ type whenexpr =
   | Expr_mul of whenexpr * whenexpr     (** arithmetic multiplication *)
   | Expr_div of whenexpr * whenexpr     (** arithmetic division *)
   | Expr_mod of whenexpr * whenexpr     (** arithmetic modulo *)
+  | Expr_len of whenexpr                (** length *)
   | Expr_changes of string              (** changes var *)
   | Expr_increases of string            (** increases var *)
   | Expr_decreases of string            (** decreases var *)