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

[ginac.git] / check / main.cpp

diff --git a/check/main.cpp b/check/main.cpp
index 200c96d6219e5fcff2ad6d9955b6824c702f6413..c55794a6fe0a96f61ef78fb0bea85baefda610dc 100644 (file)
--- a/check/main.cpp
+++ b/check/main.cpp
@@ -1,8 +1,9 @@
 /** @file main.cpp
  *
- *  Main program that calls all individual tests.
- *
- *  GiNaC Copyright (C) 1999 Johannes Gutenberg University Mainz, Germany
+ *  Main program that calls all individual tests. */
+
+/*
+ *  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
@@ -42,10 +43,11 @@ int main()
             result += fcntimer(matrix_checks);
             result += fcntimer(lsolve_onedim);
             result += fcntimer(series_expansion);
+            result += fcntimer(lortensor_check);
         }
-    } catch (exception const & e) {
+    } catch (const exception &e) {
         cout << "error: caught an exception: " << e.what() << endl;
-               result++;
+        result++;
     }
     
     if (result) {