rename MYFREE -> model_free

[model-checker.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index e59b99511b89d30d1d33ce1c81b2e5ec8f6ac4b1..23611f976dfc2c5cf35f66c65284d0e4f890b1d1 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -77,7 +77,7 @@ Node::~Node()
        if (action)
                delete action;
        if (enabled_array)
-               MYFREE(enabled_array);
+               model_free(enabled_array);
 }
 
 /** Prints debugging info for the ModelAction associated with this Node */