diff --git a/preprocessor/DynamicModel.cc b/preprocessor/DynamicModel.cc
index e881b3023..c6c308e12 100644
--- a/preprocessor/DynamicModel.cc
+++ b/preprocessor/DynamicModel.cc
@@ -3432,7 +3432,6 @@ DynamicModel::writeDynamicFile(const string &basename, bool block, bool bytecode
 void
 DynamicModel::resetDataTree()
 {
-  num_const_node_map.clear();
   variable_node_map.clear();
   unary_op_node_map.clear();
   binary_op_node_map.clear();