Update bug_report.md

diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md
index 7335e13cc3fbb4092e91e3041fbf942808ec4a63..0df44e807e3658319114e84de2e56d7592e225d2 100644 (file)
--- a/.github/ISSUE_TEMPLATE/bug_report.md
+++ b/.github/ISSUE_TEMPLATE/bug_report.md
@@ -10,14 +10,14 @@ assignees: ''
 **Describe the bug**
 A clear and concise description of what the bug is.
 
-*Note*: If the bug is triggered with an SMT2 input file please minimize it with [ddsmt](https://github.com/aniemetz/ddSMT).
+*Note*: If the bug is triggered with an SMT2 input file please minimize it with [ddsmt](https://github.com/ddsmt/ddSMT).
 
-**Command line arguments**: Command line arguments passed to CVC4 if applicable
-**CVC4 version/commit**: Paste CVC4 version/commit here.
-**Operating system**: Name/version of the operating system.
+**Command line arguments**: Command line arguments passed to cvc5 if applicable  
+**cvc5 version/commit**: Paste cvc5 version/commit here.  
+**Operating system**: Name/version of the operating system.  
 
-**`configure.sh` options**
+**`configure.sh` options**  
 Paste `configure.sh` here.
 
-**`configure.sh` output**
+**`configure.sh` output**  
 Paste the output of `configure.sh` here.