From 9295df9fc02f3fcd0d8745d1f153890d8a32d737 Mon Sep 17 00:00:00 2001
From: Frederic Vogels <frederic.vogels@kuleuven.be>
Date: Tue, 4 Feb 2025 16:51:07 +0100
Subject: [PATCH] updated test

---
 .../PatternMatchingTests/AdornTests/Variant.ml     | 14 +++++---------
 1 file changed, 5 insertions(+), 9 deletions(-)

diff --git a/tests/nanosail-tests/PatternMatchingTests/AdornTests/Variant.ml b/tests/nanosail-tests/PatternMatchingTests/AdornTests/Variant.ml
index e780b276..5fa609f7 100644
--- a/tests/nanosail-tests/PatternMatchingTests/AdornTests/Variant.ml
+++ b/tests/nanosail-tests/PatternMatchingTests/AdornTests/Variant.ml
@@ -123,7 +123,7 @@ let test_adorn_variant_wildcard =
 
 let test_adorn_variant_binder =
   let test _ =
-    let gen = new generator
+    let _gen = new generator
     in
     let tc =
       let* variant_type =
@@ -145,14 +145,10 @@ let test_adorn_variant_binder =
         TC.return pattern_tree
       in
       let expected_pattern_tree =
-        PT.Variant {
-          variant_identifier = mkid "A";
-          table = Ast.Identifier.Map.of_alist_exn [
-              (
-                mkid "A1",
-                (mkbinder "x", PT.UnaryConstructor (gen#wildcard), PT.Terminal (Some a1_statement))
-              );
-            ]
+        PT.Binder {
+          matched_type = variant_type;
+          binder       = mkbinder "x";
+          subtree      = PT.Terminal (Some a1_statement)
         }
       in
       assert_equal