From f65136212dd43d739ffc7f4034ba11f03131dd26 Mon Sep 17 00:00:00 2001
From: vijay-jaisankar <vijayjaisankar.vj@gmail.com>
Date: Sun, 16 Feb 2025 00:47:59 +0530
Subject: [PATCH] bugfix: align unionSequence definition to OCL spec

---
 ocl.py | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/ocl.py b/ocl.py
index 093f649d..4f9a6f05 100644
--- a/ocl.py
+++ b/ocl.py
@@ -535,11 +535,7 @@ def union(s,t) :
 def unionSequence(s,t) :
   res = []
   res.extend(s)
-  
-  # Add all elements of t that are not in s (Prevents duplicates)
-  new_res = [x for x in t if x not in s]
-  res.extend(new_res)
-
+  res.extend(t)
   return res