Commit 9bf93dcf authored by Mike Marshall's avatar Mike Marshall
Browse files

Julia Lawall reported this null pointer dereference, this should fix it. 



Signed-off-by: default avatarMike Marshall <hubcap@omnibond.com>
parent 3635d000
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment