factor out @SuppressWarnings("unused"), if applies to many methods in class, e.g., in forget

TechnionYP5779 / team1

Git repo of team 1 of the yearly project technion CS

6 stars 3 forks source link

Closed yossigil closed 5 years ago

yoavz1997 commented 5 years ago

There shouldn't be any because of #88

yoavz1997 commented 5 years ago

I stand corrected, are is one in lazy and one in PropositionPrettyPrinter The last one is in forget

Itamaror commented 5 years ago

Not really sure what was expected to be done, but i removed some of the @SuppressWarnings("unused") in the code.

yoavz1997 commented 5 years ago

There are only 2 uses which are necessary #79