Skip to content

Commit

Permalink
fix: rank for lift
Browse files Browse the repository at this point in the history
  • Loading branch information
hannes14 committed Nov 24, 2015
1 parent 992bded commit ff27b2e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion kernel/ideals.cc
Expand Up @@ -927,7 +927,7 @@ static void idPrepareStd(ideal s_temp, int k)
pNext(p) = q;
}
}
s_temp->rank += k;
s_temp->rank = k+IDELEMS(s_temp);
}

/*2
Expand Down

0 comments on commit ff27b2e

Please sign in to comment.