From: Brian Norris <banorris@uci.edu>
Date: Thu, 11 Apr 2013 17:57:30 +0000 (-0700)
Subject: cyclegraph: kill unused promise_list_t type
X-Git-Tag: oopsla2013~90
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=b3b2aa79d695bcef7f7f862aca7d1dffa334b3b8;p=model-checker.git

cyclegraph: kill unused promise_list_t type
---

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: