* Open streams binary (actually makes a difference on some exotic
[ginac.git] / tools / viewgar.cpp
index 93ca604903a7d200eba156708bffe559200051f2..dd169bddc6c5203ef464cf88d38047e732de625e 100644 (file)
@@ -46,7 +46,7 @@ int main(int argc, char **argv)
                                dump_mode = true;
                                --argc; ++argv;
                        }
-                       std::ifstream f(*argv);
+                       std::ifstream f(*argv, std::ios_base::binary);
                        archive ar;
                        f >> ar;
                        if (dump_mode) {