From 847187f75facdd6b8fa921cc069595634b7ae9bd Mon Sep 17 00:00:00 2001
From: Fabian Ruffy <5960321+fruffy@users.noreply.github.com>
Date: Wed, 6 Sep 2023 15:26:12 +0200
Subject: [PATCH] Fix incorrect installation link in P4Testgen README (#4131)

---
 backends/p4tools/modules/testgen/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backends/p4tools/modules/testgen/README.md b/backends/p4tools/modules/testgen/README.md
index 618cd7ff90..38f47e20b6 100644
--- a/backends/p4tools/modules/testgen/README.md
+++ b/backends/p4tools/modules/testgen/README.md
@@ -30,7 +30,7 @@ P4Testgen is an extensible [test oracle](https://en.wikipedia.org/wiki/Test_orac
 
 ## Installation
 
-P4Testgen depends on the P4Tools framework and is automatically installed with P4Tools. Please follow the instructions listed [here](https://github.com/p4lang/p4c#installing-p4c-from-source) to install P4Testgen. The main binary `p4testgen` can be found in the `build` folder after a successful installation.
+P4Testgen depends on the P4Tools framework and is automatically installed with P4Tools. Please follow the instructions listed [here](https://github.com/p4lang/p4c/tree/main/backends/p4tools#building) to install P4Testgen. The main binary `p4testgen` can be found in the `build` folder after a successful installation.
 
 P4Testgen is available as part of the [official P4C docker image](https://hub.docker.com/r/p4lang/p4c/). On Debian-based systems, it is also possible to install a P4Testgen binary by following [these](https://github.com/p4lang/p4c#installing-packaged-versions-of-p4c) instructions.