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

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