From 85b5e94d828afa37943c315694f185e51ea19d2e Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Wed, 24 Jul 2019 10:53:06 +0200
Subject: [PATCH] CRLissuer (in distributionPoint extension) is a General_name,
 not a Distinguished_name

---
 lib/extension.ml | 4 ++--
 lib/x509.mli     | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/lib/extension.ml b/lib/extension.ml
index dbc49708..02effd71 100644
--- 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
index bc4b77a2..bea3d7ba 100644
--- 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