try to fix the compilation with VC++

This commit is contained in:
Krasimir Angelov
2023-03-17 14:28:56 +01:00
parent 8bda030854
commit edbfe25f87

View File

@@ -574,7 +574,7 @@ void PgfExhaustiveGenerator::State1::combine(PgfExhaustiveGenerator *gen,
app_state->type = type;
app_state->n_args = n_args+1;
app_state->expr = app;
app_state->depth = std::max(this->depth,p.depth+1);
app_state->depth = std::max<size_t>(this->depth,p.depth+1);
gen->queue.push(app_state);
}