1 files changed, 0 insertions, 6 deletions
diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h
index 17affaef0..a4efa7286 100644
--- a/src/expr/expr_manager_template.h
+++ b/src/expr/expr_manager_template.h
@@ -44,12 +44,6 @@ class IntStat;
 struct ExprManagerMapCollection;
 class ResourceManager;
 
-namespace expr {
-  namespace pickle {
-    class Pickler;
-  }/* CVC4::expr::pickle namespace */
-}/* CVC4::expr namespace */
-
 class CVC4_PUBLIC ExprManager {
 private:
   /** The internal node manager */