/** @file main.cpp
*
- * Main program that calls all individual tests.
- *
+ * Main program that calls all individual tests. */
+
+/*
* GiNaC Copyright (C) 1999 Johannes Gutenberg University Mainz, Germany
*
* This program is free software; you can redistribute it and/or modify
*/
#include <stdexcept>
-#include <ginac/ginac.h>
+#include <iostream>
+
#include "check.h"
int main()
}
} catch (exception const & e) {
cout << "error: caught an exception: " << e.what() << endl;
- result++;
+ result++;
}
if (result) {