make sure duplicate set abbreviations are removed

Constantin Wenger

2019-08-13 85506b439f7d04b6e3aec347e373ea9f1a673282

 .gitignore

@@ -28,3 +28,5 @@
cmake-build-debug/
CMakeLists.txt

.idea/
__pycache__/