#include <fstream>
#include <stdexcept>
-#include <ginac/ginac.h>
+#include "ginac.h"
+
+#ifndef NO_NAMESPACE_GINAC
using namespace GiNaC;
+#endif // ndef NO_NAMESPACE_GINAC
int main(int argc, char **argv)
{
if (argc < 2) {
- fprintf(stderr, "Usage: %s [-d] file...", argv[0]);
+ fprintf(stderr, "Usage: %s [-d] file...\n", argv[0]);
exit(1);
}
argc--; argv++;