From 2b79108ddcb7046e031131a9a49ed2919929d4cc Mon Sep 17 00:00:00 2001 From: Yusuke Miyazaki Date: Wed, 31 May 2017 15:20:40 +0900 Subject: [PATCH] Fix stub for ujson (#1374) --- third_party/2and3/ujson.pyi | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/third_party/2and3/ujson.pyi b/third_party/2and3/ujson.pyi index a982c8b7c..4c8540d19 100644 --- a/third_party/2and3/ujson.pyi +++ b/third_party/2and3/ujson.pyi @@ -7,7 +7,7 @@ __version__ = ... # type: str def encode( obj: Any, ensure_ascii: bool = ..., - double_precision: bool = ..., + double_precision: int = ..., encode_html_chars: bool = ..., escape_forward_slashes: bool = ..., sort_keys: bool = ..., @@ -17,7 +17,7 @@ def encode( def dumps( obj: Any, ensure_ascii: bool = ..., - double_precision: bool = ..., + double_precision: int = ..., encode_html_chars: bool = ..., escape_forward_slashes: bool = ..., sort_keys: bool = ..., @@ -28,7 +28,7 @@ def dump( obj: Any, fp: IO[str], ensure_ascii: bool = ..., - double_precision: bool = ..., + double_precision: int = ..., encode_html_chars: bool = ..., escape_forward_slashes: bool = ..., sort_keys: bool = ...,