Correct typo in workspace_name docs Closes #8078. PiperOrigin-RevId: 244201901
diff --git a/src/main/java/com/google/devtools/build/lib/cmdline/Label.java b/src/main/java/com/google/devtools/build/lib/cmdline/Label.java index 0cd3dc9..c9204b3 100644 --- a/src/main/java/com/google/devtools/build/lib/cmdline/Label.java +++ b/src/main/java/com/google/devtools/build/lib/cmdline/Label.java
@@ -452,7 +452,7 @@ name = "workspace_name", structField = true, doc = - "The repository part of this label. For isntance, " + "The repository part of this label. For instance, " + "<pre class=language-python>Label(\"@foo//bar:baz\").workspace_name" + " == \"foo\"</pre>") public String getWorkspaceName() {