X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fsettime;h=79a268b790220176a1ad744e6949e12f871e5f63;hb=6a9b156fdf9c71c0bbc8bb0b3aa0262df5674dda;hp=f88318ed89eb80fdaf913e86d0a4b7a04bc9dbe3;hpb=551723a7478905289a93f5b00ca9f66998ea3d62;p=pspp

diff --git a/modules/settime b/modules/settime
index f88318ed89..79a268b790 100644
--- a/modules/settime
+++ b/modules/settime
@@ -18,7 +18,7 @@ gl_SETTIME
 Makefile.am:
 
 Include:
-#include "timespec.h"
+"timespec.h"
 
 License:
 GPL