diff options
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/syntax/Printer.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/syntax/Printer.java b/src/main/java/com/google/devtools/build/lib/syntax/Printer.java index c0e6f225e7..8e04d43494 100644 --- a/src/main/java/com/google/devtools/build/lib/syntax/Printer.java +++ b/src/main/java/com/google/devtools/build/lib/syntax/Printer.java @@ -525,6 +525,7 @@ public final class Printer { print(buffer, argument); continue; } + // fall through default: throw new MissingFormatWidthException( "unsupported format character " + repr(String.valueOf(directive)) |