Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Reduce space used by OBO Parser #429

Merged
merged 5 commits into from
Aug 9, 2015
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Fix error in addClause unthawing.
  • Loading branch information
sesuncedu committed Aug 9, 2015
commit a06a7d3da5c6bbbaaa3df5354e93cf2ad55c19f6
Original file line number Diff line number Diff line change
Expand Up @@ -181,7 +181,9 @@ public void setClauses(Collection<Clause> clauses) {
*/
public void addClause(Clause cl) {
if (!(clauses instanceof ArrayList)) {
clauses = new ArrayList<>(clauses.size()+1);
Collection<Clause> tmp = new ArrayList<>(clauses.size()+1);
tmp.addAll(clauses);
clauses = tmp;
}
clauses.add(cl);
}
Expand Down