#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)
{
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++) {