Mark out_of_memory() as never returning.

Found with -Wmissing-noreturn.

diff --git a/lib/util.h b/lib/util.h
index 10803d1bcb874f0fce40b286b3d0aaf9f7401198..9c38450ced4aa254acd2ee886f1f42e629eb9bc3 100644 (file)
--- a/lib/util.h
+++ b/lib/util.h
@@ -1,4 +1,4 @@
-/* Copyright (c) 2008 The Board of Trustees of The Leland Stanford
+/* Copyright (c) 2008, 2009 The Board of Trustees of The Leland Stanford
  * Junior University
  * 
  * We are making the OpenFlow specification and associated documentation
@@ -94,7 +94,7 @@ extern "C" {
 
 void set_program_name(const char *);
 
-void out_of_memory(void);
+void out_of_memory(void) NO_RETURN;
 void *xmalloc(size_t);
 void *xcalloc(size_t, size_t);
 void *xrealloc(void *, size_t);