diff --git a/tool/abi_symbols b/tool/abi_symbols
index 1a0eace76..735ca6473 100755
--- a/tool/abi_symbols
+++ b/tool/abi_symbols
@@ -39,8 +39,8 @@ foreach line [split $symbols "\n"] {
 	# match undefined symbol
 	if {![regexp {^(\w+) U\s*$} $line dummy name]} {
 
-		# match defined symbol, which does not always feature a size value
-		if {![regexp {^([\w.]+) (\w) \w+ ?(\w*)$} $line dummy name type size_hex]} {
+		# match defined symbol, which does not always feature a value or size
+		if {![regexp {^([\w.]+) (\w) *\w* ?(\w*)$} $line dummy name type size_hex]} {
 			puts stderr "Error: unexpected format of line: $line"
 			exit -1
 		}