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.
GaloisInc · Apr 26, 2021 · c8a5b48 · c8a5b48
1 parent 8f4eabd
commit c8a5b48
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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