genheader.pl: create a header file 'cint_workaround.h' to fix the broken
[ginac.git] / check / check.h
index 1d149dac9858a95a60ca2e12000e9ad3dc8a9329..d9ebbb6636228e70ffc70cae5ce66db8e0f28efd 100644 (file)
@@ -3,7 +3,7 @@
  *  Prototypes for all individual checks. */
 
 /*
- *  GiNaC Copyright (C) 1999 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany
  *
  *  This program is free software; you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by