Make minor modifications

1 files changed, 2 insertions, 12 deletions

diff --git a/src/Identifiers.ml b/src/Identifiers.ml
index 5cf92c09..6140b7d4 100644
--- a/src/Identifiers.ml
+++ b/src/Identifiers.ml
@@ -1,11 +1,5 @@
 exception IntegerOverflow of unit
 
-type gen_int = int [@@deriving of_yojson]
-(** This definition is used only to derive a proper int deserialization function *)
-
-type 'a gen_list = 'a list [@@deriving of_yojson]
-(** This definition is used only to derive a proper list deserialization function *)
-
 (** Signature for a module describing an identifier.
     
     We often need identifiers (for definitions, variables, etc.) and in
@@ -39,9 +33,9 @@ end
     See [Id].
 *)
 module IdGen () : Id = struct
-  type id = int
+  type id = int [@@deriving of_yojson]
 
-  type 'a vector = 'a list
+  type 'a vector = 'a list [@@deriving of_yojson]
 
   let zero = 0
 
@@ -53,10 +47,6 @@ module IdGen () : Id = struct
 
   let to_string = string_of_int
 
-  let id_of_yojson json = gen_int_of_yojson json
-
-  let vector_of_yojson a_of_yojson json = gen_list_of_yojson a_of_yojson json
-
   (* TODO: how to make this work? *)
   (* (module Ord : Map.OrderedType = struct
        type t = id