diff --git a/.gitattributes b/.gitattributes
index c9aa06e674a973b61a5931b26ad3559e8db56a8e..069ba8f5a05e5d0de906c2614e214fa42752bc53 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -839,6 +839,7 @@ testfont binary
 /src/post_modules/_ADT/adt.cmod foreign_ident
 /src/post_modules/_ADT/configure.in foreign_ident
 /src/post_modules/_ADT/sequence.cmod foreign_ident
+/src/post_modules/_ADT/sequence.h foreign_ident
 /src/post_modules/_Image_SVG/Makefile.in foreign_ident
 /src/post_modules/_Image_SVG/acconfig.h foreign_ident
 /src/post_modules/_Image_SVG/configure.in foreign_ident
diff --git a/src/post_modules/_ADT/sequence.h b/src/post_modules/_ADT/sequence.h
index a0414d1aa3bab94ad15f7c4a335e34a439fecc43..d5d2823ea17ff2bcbafdecce4202605447b11495 100644
--- a/src/post_modules/_ADT/sequence.h
+++ b/src/post_modules/_ADT/sequence.h
@@ -1,5 +1,7 @@
-
+/*
+ * $Id: sequence.h,v 1.2 2003/04/03 14:37:39 grubba Exp $
+ */
 
 void pike_init_Sequence_module(void);
 void pike_exit_Sequence_module(void);
-inline void should_copy();
+