changes: generated annotated code but it still causes type errors + re-formatting...

[IRC.git] / Robust / src / Analysis / SSJava / FieldSummary.java

package Analysis.SSJava;

public class FieldSummary extends LocationSummary {

}