@@ -81,7 +81,6 @@ extra-source-files:
81 benchmarks/json-data/example.json
81 benchmarks/json-data/example.json
82 benchmarks/json-data/integers.json
82 benchmarks/json-data/integers.json
83 benchmarks/json-data/jp10.json
83 benchmarks/json-data/jp10.json
84− benchmarks/json-data/jp20.json
85 benchmarks/json-data/jp50.json
84 benchmarks/json-data/jp50.json
86 benchmarks/json-data/jp100.json
85 benchmarks/json-data/jp100.json
87 benchmarks/json-data/numbers.json
86 benchmarks/json-data/numbers.json