search

typetools / checker-framework-inference

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

Reformat sources #96

Closed jyluo closed 5 years ago

jyluo commented 5 years ago

This PR is for part 2 of https://github.com/typetools/checker-framework-inference/issues/94, consists of only code formatting changes.

Do not merge without first merging https://github.com/typetools/checker-framework-inference/pull/95

wmdietl commented 5 years ago

Thanks for working on this. As discussed in person a while ago, let's do this once outstanding branches are merged.