#ifndef __NODESTACK_H__
#define __NODESTACK_H__
-#include <vector>
+#include "stl_wrappers.h"
#include <cstddef>
#include <inttypes.h>
int * yield_data;
};
-typedef std::vector< Node *, ModelAlloc< Node * > > node_list_t;
+typedef model_vector< Node * > node_list_t;
/**
* @brief A stack of nodes