fix for new ppx_deriving_yojson version 3.5.1: %to_yojson with type v…

…ariables See ocaml-ppx/ppx_deriving_yojson@6b1a09e
jerhard · Jul 15, 2019 · eeb4909 · eeb4909
1 parent ff4e87b
commit eeb4909
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/cdomains/arrayDomain_deprecated.ml b/src/cdomains/arrayDomain_deprecated.ml
@@ -10,7 +10,7 @@ type json = Yojson.Safe.t
 module Map = struct
     module Make (X: sig include Map.OrderedType val to_yojson : t -> json end) = struct
       include Map.Make (X)
-      let to_yojson poly_v x = [%to_yojson: (X.t * 'v) list] (bindings x)
+      let to_yojson poly_v x = [%to_yojson: (X.t * 'v) list] poly_v (bindings x)
     end
 end
 
@@ -1008,4 +1008,4 @@ struct
   let make i v = `Lifted (A.make i v)
 
   let pretty_diff () (x,y) = dprintf "%s: %a not leq %a" (name ()) pretty x pretty y
-end
+end
diff --git a/src/domains/mapDomain.ml b/src/domains/mapDomain.ml
@@ -53,7 +53,7 @@ module PMap (Domain: Groupable) (Range: Lattice.S) =
 struct
   module M = struct
     include Map.Make (Domain)
-    let to_yojson poly_v x = [%to_yojson: (Domain.t * 'v) list] (bindings x) (* TODO pull this into Prelude *)
+    let to_yojson poly_v x = [%to_yojson: (Domain.t * 'v) list] poly_v (bindings x) (* TODO pull this into Prelude *)
   end
 
   include Printable.Std