Index: kernel/arch/ia64/include/arch/mm/vhpt.h
===================================================================
--- kernel/arch/ia64/include/arch/mm/vhpt.h	(revision d2f75eb31efa7109d60f52eb578fddc21c8d1e2d)
+++ kernel/arch/ia64/include/arch/mm/vhpt.h	(revision ae7d03c05f24b857bbbdbcf3dafbf8ecc6c286ab)
@@ -31,5 +31,5 @@
  */
 /** @file
-*/
+ */
 
 #ifndef KERN_ia64_VHPT_H_