diff --git a/regression/cbmc/hex_trace/test.desc b/regression/cbmc/hex_trace/test.desc
index 45811a0756c..b3ff75981ab 100644
--- a/regression/cbmc/hex_trace/test.desc
+++ b/regression/cbmc/hex_trace/test.desc
@@ -4,7 +4,6 @@ main.c
 ^EXIT=10$
 ^SIGNAL=0$
 a=0 \s*\(0x0\)
-b=0ul? \s*\(0x0\)
 a=-100 \s*\(0xFFFFFF9C\)
 a=2147483647 \s*\(0x7FFFFFFF\)
 b=4294967294ul? \s*\(0xFFFFFFFE\)