again:
if (self_idx->is_symbolic()) {
- for (int i=1; i<other->nops(); i++) {
+ for (unsigned i=1; i<other->nops(); i++) {
const idx &other_idx = ex_to<idx>(other->op(i));
if (is_dummy_pair(*self_idx, other_idx)) {
again:
if (self_idx->is_symbolic()) {
- for (int i=1; i<other->nops(); i++) {
+ for (unsigned i=1; i<other->nops(); i++) {
const idx &other_idx = ex_to<idx>(other->op(i));
if (is_dummy_pair(*self_idx, other_idx)) {
again:
if (self_idx->is_symbolic()) {
- for (int i=1; i<other->nops(); i++) {
+ for (unsigned i=1; i<other->nops(); i++) {
const idx &other_idx = ex_to<idx>(other->op(i));
if (is_dummy_pair(*self_idx, other_idx)) {