diff options
Diffstat (limited to 'src/full/Agda/TypeChecking/Monad/Benchmark.hs')
-rw-r--r-- | src/full/Agda/TypeChecking/Monad/Benchmark.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/full/Agda/TypeChecking/Monad/Benchmark.hs b/src/full/Agda/TypeChecking/Monad/Benchmark.hs index 0bed27a..d3a428a 100644 --- a/src/full/Agda/TypeChecking/Monad/Benchmark.hs +++ b/src/full/Agda/TypeChecking/Monad/Benchmark.hs @@ -5,7 +5,7 @@ module Agda.TypeChecking.Monad.Benchmark , B.MonadBench , B.getBenchmark , updateBenchmarkingStatus - , B.billTo, B.billPureTo + , B.billTo, B.billPureTo, B.billToCPS , B.reset , print ) where |