--- drivers/pcmcia/pci_socket.c.old	Tue Jun 12 19:52:14 2001
+++ drivers/pcmcia/pci_socket.c	Tue Oct  9 21:04:08 2001
@@ -266,3 +266,4 @@
 
 module_init(pci_socket_init);
 module_exit(pci_socket_exit);
+MODULE_LICENSE("GPL");