X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=.gitignore;h=78006ce2b7ae315957e475b507ba1a5e5693787c;hb=35c057636dd12235368cfb9644532c7561609624;hp=c344192e488e2be80a85ddfd5d68767373a37deb;hpb=4f83ef5c527cb7dccab5dcce7e7e9dd00090612d;p=model-checker.git

diff --git a/.gitignore b/.gitignore
index c344192..78006ce 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,4 @@
 /tags
 /doc/docs
 /make.deps
+/benchmarks