X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fwhenexpr.mli;h=c84f0919631dba572bf6770428b9b142c658340b;hb=1d0b030e3a62a905dce16d05e8816cb3da8c49eb;hp=73103870624372596a0a4c4e71afeae2c90acaed;hpb=2ce29ff559f9bc36733ab2dde5b657eaa76ea8a6;p=whenjobs.git

diff --git a/lib/whenexpr.mli b/lib/whenexpr.mli
index 7310387..c84f091 100644
--- a/lib/whenexpr.mli
+++ b/lib/whenexpr.mli
@@ -33,6 +33,7 @@ type whenexpr =
   | Expr_eq of whenexpr * whenexpr      (** == *)
   | Expr_ge of whenexpr * whenexpr      (** >= *)
   | Expr_gt of whenexpr * whenexpr      (** > *)
+  | Expr_ne of whenexpr * whenexpr      (** != *)
   | Expr_not of whenexpr                (** boolean not *)
   | Expr_add of whenexpr * whenexpr     (** arithmetic addition or string cat *)
   | Expr_sub of whenexpr * whenexpr     (** arithmetic subtraction *)