From: Brian Norris <banorris@uci.edu>
Date: Thu, 11 Oct 2012 23:05:29 +0000 (-0700)
Subject: williams-queue: trim excess implementation
X-Git-Tag: pldi2013~36
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=c2ac1e3d5e63916c9f08a2847a9bc178040c82f5;hp=c2ac1e3d5e63916c9f08a2847a9bc178040c82f5

williams-queue: trim excess implementation

Trim down to a single implementation. Still doesn't compile correctly.
---