Fixed a bug with line-directives, added copyright notice

This commit is contained in:
ceriel
1987-03-10 17:51:10 +00:00
parent cad95767e5
commit 988f6e496b
60 changed files with 269 additions and 23 deletions

View File

@@ -1,3 +1,7 @@
/*
* (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
* See the copyright notice in the ACK home directory, in the file "Copyright".
*/
/* $Header$ */
/* A S S E R T I O N M A C R O D E F I N I T I O N */