genheader.pl: create a header file 'cint_workaround.h' to fix the broken

[ginac.git] / check / check.h

diff --git a/check/check.h b/check/check.h
index 964df6bffdbec7ea28e93464e8cc0285c83bd48f..d9ebbb6636228e70ffc70cae5ce66db8e0f28efd 100644 (file)
--- a/check/check.h
+++ b/check/check.h
@@ -1,4 +1,24 @@
-// check/check.h
+/** @file check.h
+ *
+ *  Prototypes for all individual checks. */
+
+/*
+ *  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
+ *  the Free Software Foundation; either version 2 of the License, or
+ *  (at your option) any later version.
+ *
+ *  This program is distributed in the hope that it will be useful,
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *  GNU General Public License for more details.
+ *
+ *  You should have received a copy of the GNU General Public License
+ *  along with this program; if not, write to the Free Software
+ *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+ */
 
 #ifndef CHECK_H
 #define CHECK_H
@@ -20,5 +40,6 @@ unsigned normalization();
 unsigned matrix_checks();
 unsigned lsolve_onedim();
 unsigned series_expansion();
+unsigned lortensor_check();
 
 #endif // ndef CHECK_H