Fix matching double-quotes in json example (#1448)

Summary:
Hi.
Thanks for the great tool!

This is just a simple correction for string literals in the `Util` module.

Pull Request resolved: https://github.com/facebook/infer/pull/1448

Reviewed By: ngorogiannis

Differential Revision: D28772080

Pulled By: jvillard

fbshipit-source-id: 36e2145c9
master
Sangwoo Joh 4 years ago committed by Facebook GitHub Bot
parent 199f707495
commit 55f6e27c32

@ -398,7 +398,7 @@ let assoc_of_yojson yojson_obj ~src =
(* missing entries in config reported as empty list *)
[]
| _ ->
die_expected_yojson_type "object" yojson_obj ~example:"{ \"foo\': \"bar\" }" ~src
die_expected_yojson_type "object" yojson_obj ~example:"{ \"foo\": \"bar\" }" ~src
let string_of_yojson yojson_obj ~src =
@ -414,7 +414,7 @@ let list_of_yojson yojson_obj ~src =
| `List list ->
list
| _ ->
die_expected_yojson_type "list" yojson_obj ~example:"[ \"foo\', \"bar\" ]" ~src
die_expected_yojson_type "list" yojson_obj ~example:"[ \"foo\", \"bar\" ]" ~src
let string_list_of_yojson yojson_obj ~src =

Loading…
Cancel
Save