[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
BENCHMARKS_CACHE just contains BENCHMARKS_NORMALISED_THEOREMS
- Subject: BENCHMARKS_CACHE just contains BENCHMARKS_NORMALISED_THEOREMS
- From: Chris Warburton
- Date: Tue, 09 Jan 2018 19:13:30 +0000
- Resolution: fixed
- State: resolved
We should remove this unnecessary layer of indirection, and just use
BENCHMARKS_NORMALISED_THEOREMS directly whenever the
'normalised-theorems element of BENCHMARKS_CACHE is used.