fix for the unknown words

This commit is contained in:
kr.angelov committed 2014-12-08 15:42:14 +00:00
1 parent 42d73f0d10
commit d4b8281226
2 files changed
+2 -1

No files matched your search

@@ -6,7 +6,7 @@ import java.util.Iterator;
public class UnknownLiteralCallback implements LiteralCallback {
private Concr concr;
public UnknownLiteralCallback(PGF pgf, Concr concr) {
public UnknownLiteralCallback(Concr concr) {
this.concr = concr;
}