From edbfe25f87379078df10b45cf0a7f1a0a4d32f9a Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Fri, 17 Mar 2023 14:28:56 +0100
Subject: [PATCH] try to fix the compilation with VC++

---
 src/runtime/c/pgf/generator.cxx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/runtime/c/pgf/generator.cxx b/src/runtime/c/pgf/generator.cxx
index ab6ed768d..1de081035 100644
--- a/src/runtime/c/pgf/generator.cxx
+++ b/src/runtime/c/pgf/generator.cxx
@@ -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);
 }