X-Git-Url: https://git.cworth.org/git?a=blobdiff_plain;f=cli%2Fcli_pickle.cpp;h=3a9129f8782d0f4a1dc7b2d81616c37c0654e273;hb=d79c9a22244ebc7aba491ad50ef2edced6c00d88;hp=9145f448afde5ae42603dd6c817df097c1595f4e;hpb=eba2deca7aa16097bdefabd039fbbbc02b3f5672;p=apitrace

diff --git a/cli/cli_pickle.cpp b/cli/cli_pickle.cpp
index 9145f44..3a9129f 100644
--- a/cli/cli_pickle.cpp
+++ b/cli/cli_pickle.cpp
@@ -152,6 +152,14 @@ public:
         writer.writeInt(node->value);
     }
 
+    void visit(Repr *r) {
+        if (symbolic) {
+            _visit(r->humanValue);
+        } else {
+            _visit(r->machineValue);
+        }
+    }
+
     void visit(Call *call) {
         writer.beginTuple();
 
@@ -238,6 +246,8 @@ command(int argc, char *argv[])
 
     os::setBinaryMode(stdout);
     
+    std::cout.sync_with_stdio(false);
+
     PickleWriter writer(std::cout);
     PickleVisitor visitor(writer, symbolic);
 
@@ -245,7 +255,6 @@ command(int argc, char *argv[])
         trace::Parser parser;
 
         if (!parser.open(argv[i])) {
-            std::cerr << "error: failed to open " << argv[i] << "\n";
             return 1;
         }