From 174fc67a2219916826ba81167dfd53a080fe6aef Mon Sep 17 00:00:00 2001
From: John Cater <jcater@google.com>
Date: Tue, 17 Dec 2024 13:40:39 -0500
Subject: [PATCH] Fix name of current repo

---
 bazel/example/WORKSPACE.bazel | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/bazel/example/WORKSPACE.bazel b/bazel/example/WORKSPACE.bazel
index 4be9dfe7230..0ea8a56e92d 100644
--- a/bazel/example/WORKSPACE.bazel
+++ b/bazel/example/WORKSPACE.bazel
@@ -7,7 +7,8 @@ local_repository(
     # This part is optional: only needed for custom backends with IR extensions.
     repo_mapping = {
         # Tells p4c where to look for `:ir_extension` target: in this project.
-        "@com_github_p4lang_p4c_extension": "@example_p4_project",
+        # The main repo has no name, so a bare `@` means this repository.
+        "@com_github_p4lang_p4c_extension": "@",
     },
 )