--- Gnu-Mach/i386/i386at/idt.h	2020/09/02 04:46:51	1.1.1.3
+++ Gnu-Mach/i386/i386at/idt.h	2020/09/02 04:49:20	1.1.1.4
@@ -36,6 +36,6 @@
 
 #ifndef __ASSEMBLER__
 extern void idt_init (void);
-#endif
+#endif /* __ASSEMBLER__ */
 
 #endif /* _I386AT_IDT_ */