Imported Upstream version 1.7.4p4
[debian/sudo] / boottime.c
index 37c83158d0b987015df3f64f3934516b4a50d2fe..f75af3ecaaae1707a191e202033fa0604ab5759b 100644 (file)
@@ -142,7 +142,7 @@ get_boottime(tv)
 
 int
 get_boottime(tv)
-    struct timeval *tv
+    struct timeval *tv;
 {
     return 0;
 }