Fix name of current repo

Signed-off-by: John Cater <[email protected]>
p4lang · Dec 17, 2024 · d41906f · d41906f
1 parent 54e48d9
commit d41906f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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": "@",
     },
 )