rascal icon indicating copy to clipboard operation
rascal copied to clipboard

Published 20 hours ago • verified publisher icon usethesource

reference to fail label points to itself in typechecker summary

Open jurgenvinju opened this issue 4 years ago • 0 comments

In the IDE clicking on the label of fail generalInjectionCountFilter; in the function generalInjectionCountFilter will jump to itself rather than to the function's header.

jurgenvinju avatar Apr 02 '21 07:04 jurgenvinju