diff options
Diffstat (limited to 'tools/clean-sat.c')
| -rw-r--r-- | tools/clean-sat.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tools/clean-sat.c b/tools/clean-sat.c index b1edb2010..8b6bfd77a 100644 --- a/tools/clean-sat.c +++ b/tools/clean-sat.c @@ -1,4 +1,13 @@ /* clean-sat.c + * Copyright (C) 1998, 1999, 2000, 2001 Free Software Foundation, Inc. + * + * This file is free software; as a special exception the author gives + * unlimited permission to copy and/or distribute it, with or without + * modifications, as long as this notice is preserved. + * + * This program is distributed in the hope that it will be useful, but + * WITHOUT ANY WARRANTY, to the extent permitted by law; without even the + * implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. */ #include <stdio.h> |