From ea09e5298bd8a2253f5bd14d7db0f9409aba8a1e Mon Sep 17 00:00:00 2001
From: Paul <stocker.paul@hotmail.com>
Date: Mon, 24 Jun 2024 11:02:00 +0200
Subject: [PATCH] fix wrong template arg

---
 src/embtrefftz.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/embtrefftz.cpp b/src/embtrefftz.cpp
index c0bda8ed..a4975981 100644
--- a/src/embtrefftz.cpp
+++ b/src/embtrefftz.cpp
@@ -250,7 +250,7 @@ namespace ngcomp
         nz = tndof;
       else
         {
-          nz = max<size_t> (dofs.Size () - test_dofs.Size (), 0);
+          nz = max<int> (dofs.Size () - test_dofs.Size (), 0);
           for (int i = 0; i < min (elmat.Width (), elmat.Height ()); i++)
             if (abs (elmat (i, i)) < eps)
               nz++;