minor fixups to restart stuff; version 4.1 for distrib
[unix-history] / usr / src / sys / kern / kern_synch.c
index 21eb6f7..746f983 100644 (file)
@@ -1,4 +1,4 @@
-/*     kern_synch.c    3.16    %G%     */
+/*     kern_synch.c    4.1     %G%     */
 
 #include "../h/param.h"
 #include "../h/systm.h"
 
 #include "../h/param.h"
 #include "../h/systm.h"