X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Ftest-type-props.c;h=67dabae8672b64da40b078293aa9b088d2d95f94;hb=f730dded18218f869c3c316b98912ff19d8fb71c;hp=5dff4d41a7bef3f597ab418701c1d120e676b4d4;hpb=f24230f9d9a3a5f875ec174d0bc5bc3e74ce7fb1;p=openvswitch

diff --git a/tests/test-type-props.c b/tests/test-type-props.c
index 5dff4d41..67dabae8 100644
--- a/tests/test-type-props.c
+++ b/tests/test-type-props.c
@@ -1,3 +1,4 @@
+#include <config.h>
 #include "type-props.h"
 #include <stdio.h>
 #include <stdlib.h>