From c8a5b482b94559619db46faf66326fc53d6a0f9b Mon Sep 17 00:00:00 2001 From: Brian Huffman Date: Mon, 26 Apr 2021 07:12:21 -0700 Subject: [PATCH] Update "issues" URL for panic messages to point at saw-script repo. After merging repositories, the saw-core and cryptol-saw-core packages should no longer direct users to create issues on the old saw-core repo. --- cryptol-saw-core/src/Verifier/SAW/Cryptol/Panic.hs | 2 +- saw-core/src/Verifier/SAW/Utils.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/cryptol-saw-core/src/Verifier/SAW/Cryptol/Panic.hs b/cryptol-saw-core/src/Verifier/SAW/Cryptol/Panic.hs index a3ea2af14d..bdea8c0079 100644 --- a/cryptol-saw-core/src/Verifier/SAW/Cryptol/Panic.hs +++ b/cryptol-saw-core/src/Verifier/SAW/Cryptol/Panic.hs @@ -14,7 +14,7 @@ panic = Panic.panic CryptolSawCore instance PanicComponent CryptolSawCore where panicComponentName _ = "cryptol-saw-core" - panicComponentIssues _ = "https://github.com/GaloisInc/saw-core/issues" + panicComponentIssues _ = "https://github.com/GaloisInc/saw-script/issues" {-# Noinline panicComponentRevision #-} panicComponentRevision = $useGitRevision diff --git a/saw-core/src/Verifier/SAW/Utils.hs b/saw-core/src/Verifier/SAW/Utils.hs index ea6dbfc8ab..a18ef6662c 100644 --- a/saw-core/src/Verifier/SAW/Utils.hs +++ b/saw-core/src/Verifier/SAW/Utils.hs @@ -38,7 +38,7 @@ panic = Panic.panic SawCore instance PanicComponent SawCore where panicComponentName _ = "SawCore" - panicComponentIssues _ = "https://github.com/GaloisInc/saw-core/issues" + panicComponentIssues _ = "https://github.com/GaloisInc/saw-script/issues" {-# Noinline panicComponentRevision #-} panicComponentRevision = $useGitRevision