From 83ece2b7909bd519e6a0bfa4e6a8b04c9ff0b206 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jos=C3=A9=20Fonseca?= <jose.r.fonseca@gmail.com>
Date: Thu, 17 May 2012 08:38:04 +0100
Subject: [PATCH] Pickle Repr nodes too.

---
 cli/cli_pickle.cpp | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/cli/cli_pickle.cpp b/cli/cli_pickle.cpp
index 73a5da4..ffea40b 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();
 
-- 
2.43.0