Merge pull request #2127 from GaloisInc/2048-fix-panic-url

Update the issue-reporting URL for saw-core-what4
GaloisInc · Oct 15, 2024 · 6a693c0 · 6a693c0
2 parents ad9319c + 856fa3b
commit 6a693c0
Showing 1 changed file with 1 addition and 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
@@ -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