From 6adb3c475bf39a4923f23edfa81230f3b2f1dd2d Mon Sep 17 00:00:00 2001
From: rickck11 <rick32377@gmail.com>
Date: Mon, 23 Sep 2024 01:29:39 -0300
Subject: [PATCH] contract-test: delete outdated structure explanation (#12054)

* delete outdated structure

* small fix
---
 packages/contracts-bedrock/test/kontrol/README.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/packages/contracts-bedrock/test/kontrol/README.md b/packages/contracts-bedrock/test/kontrol/README.md
index 489a9017e3c70..0a6dcec7c79ba 100644
--- a/packages/contracts-bedrock/test/kontrol/README.md
+++ b/packages/contracts-bedrock/test/kontrol/README.md
@@ -37,8 +37,6 @@ The directory is structured as follows
 ├── <a href="./pausability-lemmas.md">pausability-lemmas.md</a>: File containing the necessary lemmas for this project
 ├── <a href="./deployment">deployment</a>: Custom deploy sequence for Kontrol proofs and tests for its <a href="https://github.com/runtimeverification/kontrol/pull/271">fast summarization</a>
 │   ├── <a href="./deployment/KontrolDeployment.sol">KontrolDeployment.sol</a>: Deployment sequence for Kontrol proofs
-│   ├── <a href="./deployment/DeploymentSummary.t.sol">DeploymentSummary.t.sol</a>: Tests for the summarization of classic deployment
-│   └── <a href="./deployment/DeploymentSummaryFaultProofs.t.sol">DeploymentSummaryFaultProofs.t.sol</a>: Tests for the summarization of fault proofs deployment
 ├── <a href="./proofs">proofs</a>: Where the proofs (tests) themselves live
 │   ├── *.k.sol</a>: Symbolic property tests for contracts
 │   ├── <a href="./proofs/interfaces">interfaces</a>: Interface files for src contracts, to avoid unnecessary compilation of contracts