hashtable: bugfix - increment size only when new bins are linked

[model-checker.git] / .gitignore

# generic types
*.o
.*.swp
*.swo
*.so
*~

# files in this directory
/model
/tags
/docs