diff --git a/src/proto_alpha/lib_protocol/src/script_ir_translator.ml b/src/proto_alpha/lib_protocol/src/script_ir_translator.ml
index 27806b95f..0b8c83ab3 100644
--- a/src/proto_alpha/lib_protocol/src/script_ir_translator.ml
+++ b/src/proto_alpha/lib_protocol/src/script_ir_translator.ml
@@ -758,7 +758,9 @@ let merge_field_annot
   | Some `Field_annot a1, Some `Field_annot a2 ->
       if String.equal a1 a2
       then ok annot1
-      else error (Inconsistent_annotations ("%" ^ a1, "%" ^ a2))
+      else ok None
+           (* TODO check this, do we want typechecking here ? *)
+           (* error (Inconsistent_annotations ("%" ^ a1, "%" ^ a2)) *)
 
 let merge_var_annot
   : var_annot option -> var_annot option -> var_annot option