From a3d92c2b1de71347c218505d7fab1bc8e1b97ccf Mon Sep 17 00:00:00 2001
From: Andreas Stadelmeier <andi@paulus.haus>
Date: Mon, 19 Feb 2024 18:53:41 +0100
Subject: [PATCH] Same parameter length for TypeExpr method invocation

---
 constraints.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/constraints.tex b/constraints.tex
index 79b6d85..fa12ec1 100644
--- a/constraints.tex
+++ b/constraints.tex
@@ -173,7 +173,7 @@ The ones to already typed methods and calls to untyped methods.
                   \end{array}\\
             & \ |\ 
             (\exptype{C}{\ol{X} \triangleleft \ol{N}}.\texttt{m} : \generics{\ol{Y} \triangleleft \ol{N'}}\overline{\type{T}} \to \type{T}) \in 
-                {\mtypeEnvironment}
+                {\mtypeEnvironment}, \, |\ol{T}| = |\ol{e}|
             , \, \overline{\wtv{a}} \text{ fresh}, \, \overline{\wtv{b}} \text{ fresh} }
         \end{array}\\
       \mathbf{in} & \consSet_R \cup \overline{\consSet} \cup \constraint