genheader.pl: create a header file 'cint_workaround.h' to fix the broken
[ginac.git] / check / check.h
index 89a093e78f90fd4952af0762feb63e06f0cc3306..d9ebbb6636228e70ffc70cae5ce66db8e0f28efd 100644 (file)
@@ -1,8 +1,9 @@
 /** @file check.h
  *
- *  Prototypes for all individual checks.
- *
- *  GiNaC Copyright (C) 1999 Johannes Gutenberg University Mainz, Germany
+ *  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
@@ -39,5 +40,6 @@ unsigned normalization();
 unsigned matrix_checks();
 unsigned lsolve_onedim();
 unsigned series_expansion();
+unsigned lortensor_check();
 
 #endif // ndef CHECK_H