Mark out_of_memory() as never returning.
authorBen Pfaff <blp@nicira.com>
Thu, 8 Jan 2009 23:18:38 +0000 (15:18 -0800)
committerBen Pfaff <blp@nicira.com>
Thu, 8 Jan 2009 23:27:52 +0000 (15:27 -0800)
commite52ef0810933ec5739c5d094d47535673002ea85
treeccc00b641aade3053d32d61402dd8908c114dd14
parent5c19f6ec48747b33acc309ccd37e574db033e451
Mark out_of_memory() as never returning.

Found with -Wmissing-noreturn.
lib/util.h