From aa15eed600a9537521cd7637678af89da80155c5 Mon Sep 17 00:00:00 2001
From: Thomas Pani <thomas@informal.systems>
Date: Tue, 19 Sep 2023 14:33:55 +0200
Subject: [PATCH] Correct link to moved issue (#1168)

---
 examples/.scripts/run-example.sh | 2 +-
 examples/README.md               | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/.scripts/run-example.sh b/examples/.scripts/run-example.sh
index a00268bfe..c54696d05 100755
--- a/examples/.scripts/run-example.sh
+++ b/examples/.scripts/run-example.sh
@@ -62,7 +62,7 @@ result () {
     elif [[ "$file" == "language-features/option.qnt" && "$cmd" == "verify"  ]] ; then
       printf "<sup>https://github.com/informalsystems/quint/issues/244</sup>"
     elif [[ "$file" == "language-features/tuples.qnt" && "$cmd" == "verify" ]] ; then
-      printf "<sup>https://github.com/informalsystems/apalache/issues/2670</sup>"
+      printf "<sup>https://github.com/informalsystems/quint/issues/1113</sup>"
     elif [[ "$file" == "solidity/icse23-fig7/lottery.qnt" && "$cmd" == "verify" ]] ; then
       printf "<sup>https://github.com/informalsystems/quint/issues/1019</sup>"
     fi
diff --git a/examples/README.md b/examples/README.md
index dcfee0b02..acb056df7 100644
--- a/examples/README.md
+++ b/examples/README.md
@@ -83,7 +83,7 @@ listed without any additional command line arguments.
 | [language-features/option.qnt](./language-features/option.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :x:<sup>https://github.com/informalsystems/quint/issues/244</sup> |
 | [language-features/records.qnt](./language-features/records.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: |
 | [language-features/sets.qnt](./language-features/sets.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: |
-| [language-features/tuples.qnt](./language-features/tuples.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :x:<sup>https://github.com/informalsystems/apalache/issues/2670</sup> |
+| [language-features/tuples.qnt](./language-features/tuples.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :x:<sup>https://github.com/informalsystems/quint/issues/1113</sup> |
 | [puzzles/prisoners/prisoners.qnt](./puzzles/prisoners/prisoners.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: |
 | [puzzles/river/river.qnt](./puzzles/river/river.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: |
 | [puzzles/tictactoe/tictactoe.qnt](./puzzles/tictactoe/tictactoe.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: |