From f2f07c3a80bb586049dc8601dd970d485a5bf92b Mon Sep 17 00:00:00 2001
From: Nico Weber <thakis@chromium.org>
Date: Fri, 15 Dec 2023 16:07:34 -0500
Subject: [PATCH] LibPDF: Replace `if (a) VERIFY(0)` with `VERIFY(!a)`

No behavior change.
---
 Userland/Libraries/LibPDF/Fonts/PS1FontProgram.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Userland/Libraries/LibPDF/Fonts/PS1FontProgram.cpp b/Userland/Libraries/LibPDF/Fonts/PS1FontProgram.cpp
index 02ee14da422..fd6623b2858 100644
--- a/Userland/Libraries/LibPDF/Fonts/PS1FontProgram.cpp
+++ b/Userland/Libraries/LibPDF/Fonts/PS1FontProgram.cpp
@@ -114,8 +114,7 @@ PDFErrorOr<Vector<ByteBuffer>> PS1FontProgram::parse_subroutines(Reader& reader)
 
     while (reader.remaining()) {
         auto word = TRY(parse_word(reader));
-        if (word.is_empty())
-            VERIFY(0);
+        VERIFY(!word.is_empty());
 
         if (word == "dup") {
             auto index = TRY(parse_int(reader));