X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=spsc-queue%2F.gitignore;h=248545656a0c0c73a18bc1ce9f8a03cd0d8876d9;hb=d459524c3fb7a3fd79d019931b7303c1a74b04b4;hp=b7d03a7d8f6ebd71a5b10444d71347594d98c80e;hpb=0ae979015c27d9a24596c89197060a88b252bb0e;p=model-checker-benchmarks.git

diff --git a/spsc-queue/.gitignore b/spsc-queue/.gitignore
index b7d03a7..2485456 100644
--- a/spsc-queue/.gitignore
+++ b/spsc-queue/.gitignore
@@ -1 +1,2 @@
 /spsc-queue
+/spsc-relacy