cyclegraph: kill unused promise_list_t type
[model-checker.git] / cyclegraph.h
index a03ebca..1a3e0eb 100644 (file)
@@ -21,8 +21,6 @@ class Promise;
 class CycleNode;
 class ModelAction;
 
 class CycleNode;
 class ModelAction;
 
-typedef ModelVector<const Promise *> promise_list_t;
-
 /** @brief A graph of Model Actions for tracking cycles. */
 class CycleGraph {
  public:
 /** @brief A graph of Model Actions for tracking cycles. */
 class CycleGraph {
  public: