diff --git a/src/proto_alpha/lib_benchmark/michelson_samplers.ml b/src/proto_alpha/lib_benchmark/michelson_samplers.ml
index 82cca5fff8cff71b2231796ed428283278dde97d..bfcda8b0b58d8b8293657ef633e4fce26b0cefb7 100644
--- a/src/proto_alpha/lib_benchmark/michelson_samplers.ml
+++ b/src/proto_alpha/lib_benchmark/michelson_samplers.ml
@@ -443,7 +443,7 @@ end)
       let option_case size =
         let size = size - 1 in
         let* (Ex_comparable_ty t) = m_comparable_type ~size in
-        match comparable_option_t (-1) t with
+        match option_t (-1) t with
         | Error _ -> (* what should be done here? *) assert false
         | Ok res_ty -> return @@ Ex_comparable_ty res_ty
       in
diff --git a/src/proto_alpha/lib_protocol/script_typed_ir.ml b/src/proto_alpha/lib_protocol/script_typed_ir.ml
index 3f4cfecff9152e138323b9eb3912e0aec4a13a38..f5d22f44948bd5d968396e293882af9ef23568ee 100644
--- a/src/proto_alpha/lib_protocol/script_typed_ir.ml
+++ b/src/proto_alpha/lib_protocol/script_typed_ir.ml
@@ -1795,9 +1795,6 @@ let option_pair_int_nat_t =
       {size = Type_size.four},
       Yes )
 
-let comparable_option_t loc t =
-  Type_size.compound1 loc (ty_size t) >|? fun size -> Option_t (t, {size}, Yes)
-
 let list_t loc t =
   Type_size.compound1 loc (ty_size t) >|? fun size -> List_t (t, {size})
 
diff --git a/src/proto_alpha/lib_protocol/script_typed_ir.mli b/src/proto_alpha/lib_protocol/script_typed_ir.mli
index 131ab84402e2904b8481fef6de3e1076f9535f96..facd7ceb5e8e3f052aee98bb1e38931e28643bf9 100644
--- a/src/proto_alpha/lib_protocol/script_typed_ir.mli
+++ b/src/proto_alpha/lib_protocol/script_typed_ir.mli
@@ -1668,9 +1668,6 @@ val lambda_t :
 
 val option_t : Script.location -> ('v, 'c) ty -> ('v option, 'c) ty tzresult
 
-val comparable_option_t :
-  Script.location -> 'v comparable_ty -> 'v option comparable_ty tzresult
-
 val option_mutez_t : Tez.t option comparable_ty
 
 val option_string_t : Script_string.t option comparable_ty
diff --git a/src/proto_alpha/lib_protocol/test/pbt/test_script_comparison.ml b/src/proto_alpha/lib_protocol/test/pbt/test_script_comparison.ml
index c2ce81cca514e999bab43a5b912b35e1da647fbc..62cd2fd7db559318c831e4c7854be2ba50e61a16 100644
--- a/src/proto_alpha/lib_protocol/test/pbt/test_script_comparison.ml
+++ b/src/proto_alpha/lib_protocol/test/pbt/test_script_comparison.ml
@@ -333,9 +333,7 @@ let test_pack_unpack =
     comparable_data_generator
     (fun (Ex_comparable_data (ty, x)) ->
       let oty =
-        match comparable_option_t (-1) ty with
-        | Ok ty -> ty
-        | Error _ -> assert false
+        match option_t (-1) ty with Ok ty -> ty | Error _ -> assert false
       in
       qcheck_eq
         ~cmp:(Script_comparable.compare_comparable oty)