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

shouldn't the parameter name be 's' for 'skip'? Or even better 'sr' for 'skip resolver'?