gsdlab/clafer — comment on commit 66d0ca85616acbfd081e167790e92f83f9e2bc04
File: src/ClaferArgs.hs line 63
By kbak:

s is already taken. Anyways, feel free to change it to anything. I'm not religious about it :-)