From f573fbdf93b485a8ffb2adfcae21b04f8fbe7d46 Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Tue, 17 Oct 2023 10:04:32 +0200
Subject: [PATCH] better test for constructors

---
 .../java/io/usethesource/vallang/specification/IValueTests.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/java/io/usethesource/vallang/specification/IValueTests.java b/src/test/java/io/usethesource/vallang/specification/IValueTests.java
index 86336a9a..75b1edc8 100644
--- a/src/test/java/io/usethesource/vallang/specification/IValueTests.java
+++ b/src/test/java/io/usethesource/vallang/specification/IValueTests.java
@@ -202,7 +202,7 @@ public void testFingerprintStabilityConstructorDoNotChangeTheTest(IConstructor c
 
     @ParameterizedTest @ArgumentsSource(ValueProvider.class)
     public void testFingerprintEqualArityConstructorsTheSameDoNotChangeTheTest(IConstructor node1, IConstructor node2) {
-        if (node1.arity() == node2.arity()) {
+        if (node1.arity() == node2.arity() && node1.getName().equals(node2.getName())) {
             assertEquals(node1.getMatchFingerprint(), node2.getMatchFingerprint());
         }
     }