CRLissuer (in distributionPoint extension) is a General_name, not a D…

…istinguished_name
mirleft · Jul 24, 2019 · 85b5e94 · 85b5e94
1 parent 70cce56
commit 85b5e94
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/lib/extension.ml b/lib/extension.ml
@@ -57,7 +57,7 @@ type distribution_point_name =
 type distribution_point =
   distribution_point_name option *
   reason list option *
-  Distinguished_name.t option
+  General_name.t option
 
 type 'a extension = bool * 'a
 
@@ -366,7 +366,7 @@ module Asn = struct
     sequence3
       (optional ~label:"distributionPoint" @@ explicit 0 distribution_point_name)
       (optional ~label:"reasons"           @@ implicit 1 reason)
-      (optional ~label:"cRLIssuer"         @@ implicit 2 Distinguished_name.Asn.name)
+      (optional ~label:"cRLIssuer"         @@ implicit 2 General_name.Asn.gen_names)
 
   let crl_distribution_points = sequence_of distribution_point
 

diff --git a/lib/x509.mli b/lib/x509.mli
@@ -248,7 +248,7 @@ module Extension : sig
   type distribution_point =
     distribution_point_name option *
     reason list option *
-    Distinguished_name.t option
+    General_name.t option
 
   (** The type of an extension: the critical flag and the value itself. *)
   type 'a extension = bool * 'a