[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: BENCHMARKS_CACHE just contains BENCHMARKS_NORMALISED_THEOREMS
- Subject: Re: BENCHMARKS_CACHE just contains BENCHMARKS_NORMALISED_THEOREMS
- From: Chris Warburton
- Date: Tue, 09 Jan 2018 20:58:13 +0000
- In-reply-to: <c8149f68a1954e0c-0-artemis@nixos>
- References: <c8149f68a1954e0c-0-artemis@nixos>
Removed this entry from BENCHMARKS_CACHE and used
BENCHMARKS_NORMALISED_THEOREMS everywhere instead