X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=.gitignore;h=9a81599a8031595e833e703f8660323154208844;hp=870563c9577b0bc8a014e81cf05f4fe0cc1246be;hb=e326d381460902d927b8862149ce5382f8509bbd;hpb=f19c4f0d0d8c054fdea82137c57dc0dca3059704

diff --git a/.gitignore b/.gitignore
index 870563c..9a81599 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,3 +23,4 @@ mpmc-queue/mpmc-1r2w-noinit
 mpmc-queue/mpmc-queue-noinit
 mpmc-queue/mpmc-2r1w
 mpmc-queue/mpmc-queue-rdwr
+treiber-stack/main