#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++;
archive ar;
f >> ar;
if (dump_mode) {
- ar.dump(cout);
+ ar.printraw(cout);
cout << endl;
} else {
for (unsigned int i=0; i<ar.num_expressions(); i++) {