diff --git a/Source/VCGeneration/CheckerPool.cs b/Source/VCGeneration/CheckerPool.cs
index b75744377..a1c962948 100644
--- a/Source/VCGeneration/CheckerPool.cs
+++ b/Source/VCGeneration/CheckerPool.cs
@@ -24,7 +24,7 @@ public CheckerPool(VCGenOptions options)
     public async Task<Checker> FindCheckerFor(Program program, Split? split, CancellationToken cancellationToken)
     {
       if (disposed) {
-        throw new Exception("CheckerPool was already disposed");
+        throw new OperationCanceledException("CheckerPool was already disposed");
       }
 
       await checkersSemaphore.WaitAsync(cancellationToken);