made constructor protected (was private)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1181 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
8e741a8149
commit
435ef30fd6
|
@ -18,7 +18,7 @@ public class BasicTheory extends AbstractTheory {
|
||||||
private final IVocabulary vocab;
|
private final IVocabulary vocab;
|
||||||
private final Collection<? extends IFormula> sentences;
|
private final Collection<? extends IFormula> sentences;
|
||||||
|
|
||||||
private BasicTheory(IVocabulary vocab, Collection<? extends IFormula> sentences) {
|
protected BasicTheory(IVocabulary vocab, Collection<? extends IFormula> sentences) {
|
||||||
this.vocab = vocab;
|
this.vocab = vocab;
|
||||||
this.sentences = sentences;
|
this.sentences = sentences;
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue