diff options
Diffstat (limited to 'src/README')
| -rw-r--r-- | src/README | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/README b/src/README index c7a940837..1de6ac991 100644 --- a/src/README +++ b/src/README @@ -80,7 +80,6 @@ PRs: (6) Split EngineOutputChannel from TheoryEngine to its own file (7) Add LazyCDProof and ProofGenerator (8) Add TrustNode -(9) Add ProofEngineOutputChannel - Add EagerProofGenerator (10) ProofEqEngine (11) TheoryEngine proof checker initialize |