Merge pull request #334 from SkySkimmer/fix-async-qvar-union

Adapt to coq/coq#17662 (qvar representation changed)
ejgallego · Jun 1, 2023 · 82620ec · 82620ec
2 parents 2860583 + a903563
commit 82620ec
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/serlib/ser_sorts.ml b/serlib/ser_sorts.ml
@@ -37,9 +37,9 @@ module BijectQVar = struct
   open Ppx_hash_lib.Std.Hash.Builtin
   open Ppx_compare_lib.Builtin
   type t = Sorts.QVar.t
-  type _t = int [@@deriving sexp,yojson,hash,compare]
+  type _t = string * int [@@deriving sexp,yojson,hash,compare]
   let of_t = Sorts.QVar.repr
-  let to_t = Sorts.QVar.make
+  let to_t (s,i) = Sorts.QVar.make s i
 end
 
 module QVar = SerType.Biject(BijectQVar)