Pickle Repr nodes too.

diff --git a/cli/cli_pickle.cpp b/cli/cli_pickle.cpp
index 73a5da46c7c47414b3af78d8534762d051c1736f..ffea40b7596b38acc536ad0d3520e05b56e869a9 100644 (file)
--- 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();