@@ -81,7 +81,6 @@ extra-source-files:
8181 benchmarks/json-data/example.json
8282 benchmarks/json-data/integers.json
8383 benchmarks/json-data/jp10.json
84− benchmarks/json-data/jp20.json
8584 benchmarks/json-data/jp50.json
8685 benchmarks/json-data/jp100.json
8786 benchmarks/json-data/numbers.json