Rename jdk.astub to jdk8.astub

typetools / checker-framework-inference

Inference of pluggable types for Java

10 stars 33 forks source link

Closed zcai1 closed 4 years ago

zcai1 commented 4 years ago

This PR renames jdk.astub in src/interning to jdk8.astub, for some of the definitions are not compatible with JDK11.

@wmdietl