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 635f1f500..3fcca079b 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