From 68f8d5dac3b2c35c1ef9e8f486357406a32b8b57 Mon Sep 17 00:00:00 2001
From: Troels Henriksen <athas@sigkill.dk>
Date: Sun, 3 Dec 2023 18:43:02 +0100
Subject: [PATCH] Pretty sure asan has false positives now.

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index cd5d7493af..b223495828 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -295,7 +295,7 @@ jobs:
         echo "$HOME/.local/bin" >> $GITHUB_PATH
 
     - run: |
-        export CFLAGS="-fsanitize=undefined -fsanitize=address -fno-sanitize-recover -O"
+        export CFLAGS="-fsanitize=undefined -fno-sanitize-recover -O"
         nix-shell --run 'futhark test -c --backend=ispc tests --no-tuning'
         nix-shell --run 'make -C tests_lib/c FUTHARK_BACKEND=ispc'