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

[ginac.git] / tools / viewgar.cpp

diff --git a/tools/viewgar.cpp b/tools/viewgar.cpp
index 1f333f0e136be341c09e28a2c8a5fafc093c90a1..6fc8c23af72344f4fba52a087a704ad6833b4a43 100644 (file)
--- a/tools/viewgar.cpp
+++ b/tools/viewgar.cpp
@@ -24,7 +24,7 @@
 #include <fstream>
 #include <stdexcept>
 
-#include <ginac/ginac.h>
+#include "ginac.h"
 using namespace GiNaC;
 
 int main(int argc, char **argv)
@@ -47,7 +47,7 @@ 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++) {