removed an @Override
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2091 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
99fbd5e1c5
commit
45d2024c25
|
@ -23,12 +23,10 @@ public class EmptyTheory extends AbstractTheory {
|
|||
|
||||
private EmptyTheory() {}
|
||||
|
||||
@Override
|
||||
public Collection<? extends IFormula> getSentences() {
|
||||
return Collections.emptySet();
|
||||
}
|
||||
|
||||
@Override
|
||||
public IVocabulary getVocabulary() {
|
||||
return BasicVocabulary.make(Collections.emptySet());
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue