diff --git a/src/kernel_services/ast_printing/cprint.ml b/src/kernel_services/ast_printing/cprint.ml
index d083883d14b84fdfd3d9c87c67dddb6ec12d3389..3633b1c43ff50c5db28a42b111ddadfcdb753917 100644
--- a/src/kernel_services/ast_printing/cprint.ml
+++ b/src/kernel_services/ast_printing/cprint.ml
@@ -262,7 +262,7 @@ and print_fields fmt (flds : field_group list) =
 and print_enum_items fmt items =
   let print_item fmt (id,exp,_) =
     fprintf fmt "%s%a%a"
-      id (pp_cond (exp.expr_node=NOTHING)) "@ =@ " print_expression exp
+      id (pp_cond (exp.expr_node<>NOTHING)) "@ =@ " print_expression exp
   in
   pp_list ~sep:",@ " print_item fmt items