typetools / checker-framework-inference

Inference of pluggable types for Java
10 stars 33 forks source link

Adapt to upstream changes in the Checker Framework #50

Closed bitterfox closed 7 years ago

bitterfox commented 7 years ago

For PR https://github.com/typetools/checker-framework/pull/1390

bitterfox commented 7 years ago

Hi, I've updated this. Please check this again.

wmdietl commented 7 years ago

Thanks!