verifiy problem not working

[EinarDarri]

I just installed problemtools and it seams that the latest merge #253 added an error

this error is showing up on all problems that I try to verify

[incaseoftrouble]

Hi, this is my fault, I merged something and forgot to check. You can use #256 until it is merged

[gkreitz]

#256 is merged, closing.