From 85b5e1b63643454343c5fa06fe347290aee5a6a9 Mon Sep 17 00:00:00 2001
From: Jordy Aaldering <33897257+JordyAaldering@users.noreply.github.com>
Date: Mon, 7 Sep 2026 13:18:54 +0200
Subject: [PATCH] uniqueness violation should now be fixed in compiler

---
 .github/workflows/main.yml | 2 +-
 Makefile                   | 4 +---
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 5d0b7c6..a7da781 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -16,6 +16,6 @@ jobs:
       - name: Configure sac2c
         run: cp -r /root/.sac2crc $HOME/.sac2crc
       - name: Setup CMake
-        run: cmake -DTARGETS="seq;mt_pth" -B build
+        run: cmake -DTARGETS="seq;seq_checks;mt_pth" -B build
       - name: Build
         run: cmake --build build
diff --git a/Makefile b/Makefile
index 619f79e..ad92d6b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,5 @@
 SAC2C ?= sac2c
-# Uniqueness violation bug in seq_checks
-#TARGETS ?= "seq;seq_checks;mt_pth"
-TARGETS ?= "seq;mt_pth"
+TARGETS ?= "seq;seq_checks;mt_pth"
 BUILD_DIR ?= build
 
 .PHONY: all build examples clean