1 files changed, 0 insertions, 7 deletions
diff --git a/src/expr/node.h b/src/expr/node.h
index 768d7b948..f0ee7a56c 100644
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -52,12 +52,6 @@ namespace CVC4 {
 class TypeNode;
 class NodeManager;
 
-namespace expr {
-  namespace pickle {
-    class PicklerPrivate;
-  }/* CVC4::expr::pickle namespace */
-}/* CVC4::expr namespace */
-
 template <bool ref_count>
 class NodeTemplate;
 
@@ -182,7 +176,6 @@ class NodeTemplate {
    */
   friend class expr::NodeValue;
 
-  friend class expr::pickle::PicklerPrivate;
   friend class expr::ExportPrivate;
 
   /** A convenient null-valued encapsulated pointer */