From 856fa3b35ddd2a2e39147aadb68b5299708f982a Mon Sep 17 00:00:00 2001 From: David Holland Date: Fri, 11 Oct 2024 21:12:14 -0400 Subject: [PATCH] Update the issue-reporting URL for saw-core-what4. --- saw-core-what4/src/Verifier/SAW/Simulator/What4/Panic.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/saw-core-what4/src/Verifier/SAW/Simulator/What4/Panic.hs b/saw-core-what4/src/Verifier/SAW/Simulator/What4/Panic.hs index 635f1f500c..3fcca079be 100644 --- a/saw-core-what4/src/Verifier/SAW/Simulator/What4/Panic.hs +++ b/saw-core-what4/src/Verifier/SAW/Simulator/What4/Panic.hs @@ -15,7 +15,7 @@ panic = Panic.panic SAWCoreWhat4 instance PanicComponent SAWCoreWhat4 where panicComponentName _ = "SAWCoreWhat4" - panicComponentIssues _ = "https://github.com/GaloisInc/saw-core-what4/issues" + panicComponentIssues _ = "https://github.com/GaloisInc/saw-script/issues" {-# Noinline panicComponentRevision #-} panicComponentRevision = $useGitRevision