diff options
| -rw-r--r-- | gnu/packages/patches/sajson-for-gemmi-numbers-as-strings.patch | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/gnu/packages/patches/sajson-for-gemmi-numbers-as-strings.patch b/gnu/packages/patches/sajson-for-gemmi-numbers-as-strings.patch index 6f476b8583..796df7dc44 100644 --- a/gnu/packages/patches/sajson-for-gemmi-numbers-as-strings.patch +++ b/gnu/packages/patches/sajson-for-gemmi-numbers-as-strings.patch @@ -50,7 +50,19 @@ diff -ur a/include/sajson.h b/include/sajson.h /// Represents a JSON value. First, call get_type() to check its type, /// which determines which methods are available. /// -@@ -585,70 +548,10 @@ +@@ -469,9 +432,9 @@ public: + // at worst a table lookup. + switch (value_tag) { + case tag::integer: +- return TYPE_INTEGER; ++ return TYPE_STRING; + case tag::double_: +- return TYPE_DOUBLE; ++ return TYPE_STRING; + case tag::null: + return TYPE_NULL; + case tag::false_: +@@ -585,70 +548,10 @@ public: return length; } |