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

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