From 27d7856e52977d62edbe00da5602dede5c072445 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9mi=20Lesenechal?= Date: Tue, 23 Jun 2020 11:27:29 +0000 Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s) --- src/stages/5-ast_typed/PP_json.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/stages/5-ast_typed/PP_json.ml b/src/stages/5-ast_typed/PP_json.ml index 55f39776f..2a17e0fc0 100644 --- a/src/stages/5-ast_typed/PP_json.ml +++ b/src/stages/5-ast_typed/PP_json.ml @@ -71,7 +71,7 @@ module M = struct typeVariableMap = (fun _visitor continue NoState tvmap -> let lst = List.sort (fun (a, _) (b, _) -> Var.compare a b) (RedBlackTrees.PolyMap.bindings tvmap) in let aux (k, v) = - `Assoc [ ("key", `String (asprintf "%a" Var.pp k)) ; ("value", continue NoState v) ] in + `Assoc [ asprintf "%a" Var.pp k ; continue NoState v ] in let lst' = List.map aux lst in `Assoc ["typeVariableMap", `List lst'] ); }