From b62070dc7a819b092a27f416349d091ac60bb6e4 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 30 Mar 2022 16:04:16 -0700
Subject: [PATCH] Exclude competition build for issue8377-resolve-indexed.smt2.
 (#8468)

Fixes the nightly competition builds.
---
 test/regress/cli/regress0/parser/issue8377-resolve-indexed.smt2 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/regress/cli/regress0/parser/issue8377-resolve-indexed.smt2 b/test/regress/cli/regress0/parser/issue8377-resolve-indexed.smt2
index f20d21291..97cb81215 100644
--- a/test/regress/cli/regress0/parser/issue8377-resolve-indexed.smt2
+++ b/test/regress/cli/regress0/parser/issue8377-resolve-indexed.smt2
@@ -2,5 +2,6 @@
 ; EXPECT: 're.loop' not declared as a variable
 ; EXIT: 1
 ; DISABLE-TESTER: dump
+; REQUIRES: no-competition
 (set-logic QF_SLIA)
 (assert (re.loop 0))
-- 
2.30.2