fix commit that mistakenly happened

[model-checker-benchmarks.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 870563c9577b0bc8a014e81cf05f4fe0cc1246be..9a81599a8031595e833e703f8660323154208844 100644 (file)
--- 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