integrated pa_data_type

jquepi · May 9, 2017 · 5acb922 · 5acb922
1 parent 7e76e95
commit 5acb922
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/lib/krb5lib.mli b/lib/krb5lib.mli
@@ -563,12 +563,12 @@ module Msg : sig
    *)
   module Pa_data : sig
     type t =
-      { padata_type : Krb_int32.t
+      { padata_type : Pa_data_type.t
       ; padata_value : Octet_string.t
       } [@@deriving sexp]
     include Asn1_intf.S with
           type t := t
-      and type Ast.t = Krb_int32.Ast.t * Cstruct.t
+      and type Ast.t = Pa_data_type.Ast.t * Cstruct.t
   end
 
   (** Authorization data, see {{:https://tools.ietf.org/html/rfc4120#section-5.2.6}rfc4120 Section 5.2.6 AuthorizationData}

diff --git a/lib/pa_data.ml b/lib/pa_data.ml
@@ -3,24 +3,24 @@ open Asn.S
 open Krb_combinators
 
 type t =
-  { padata_type : Krb_int32.t
+  { padata_type : Pa_data_type.t
   ; padata_value : Octet_string.t
   } [@@deriving sexp]
 
 module Ast = struct
-  type t = Krb_int32.Ast.t * Cstruct.t
+  type t = Pa_data_type.Ast.t * Cstruct.t
 
   let asn =
     sequence2
       (* First value is 1 not 0 *)
-      (tag_required ~label:"padata_type" 1 Krb_int32.Ast.asn)
+      (tag_required ~label:"padata_type" 1 Pa_data_type.Ast.asn)
       (tag_required ~label:"padata_value" 2 Octet_string.Ast.asn)
 end
 
 let ast_of_t t =
-  (Krb_int32.ast_of_t t.padata_type, Octet_string.ast_of_t t.padata_value)
+  (Pa_data_type.ast_of_t t.padata_type, Octet_string.ast_of_t t.padata_value)
 
 let t_of_ast (a, b) =
-  { padata_type = Krb_int32.t_of_ast a
+  { padata_type = Pa_data_type.t_of_ast a
   ; padata_value = Octet_string.t_of_ast b
   }