X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ffault.c;h=762357097d7dc6d5edd042ac02fbda2189d4aa27;hb=f730dded18218f869c3c316b98912ff19d8fb71c;hp=0967f7dbbe33bd9a345b7adfde3334c2f0f6ed84;hpb=f24230f9d9a3a5f875ec174d0bc5bc3e74ce7fb1;p=openvswitch

diff --git a/lib/fault.c b/lib/fault.c
index 0967f7db..76235709 100644
--- a/lib/fault.c
+++ b/lib/fault.c
@@ -31,6 +31,7 @@
  * derivatives without specific, written prior permission.
  */
 
+#include <config.h>
 #include "fault.h"
 #include <dlfcn.h>
 #include <inttypes.h>