From b3b2aa79d695bcef7f7f862aca7d1dffa334b3b8 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 11 Apr 2013 10:57:30 -0700
Subject: [PATCH 1/1] cyclegraph: kill unused promise_list_t type

---
 cyclegraph.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/cyclegraph.h b/cyclegraph.h
index a03ebca..1a3e0eb 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -21,8 +21,6 @@ class Promise;
 class CycleNode;
 class ModelAction;
 
-typedef ModelVector<const Promise *> promise_list_t;
-
 /** @brief A graph of Model Actions for tracking cycles. */
 class CycleGraph {
  public:
-- 
2.34.1