summaryrefslogtreecommitdiff
path: root/src/full/Agda/TypeChecking/Monad/Benchmark.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/TypeChecking/Monad/Benchmark.hs')
-rw-r--r--src/full/Agda/TypeChecking/Monad/Benchmark.hs2
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