From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 4 Aug 2021 19:01:08 +0000 (-0700)
Subject: Update bug_report.md
X-Git-Tag: cvc5-1.0.0~1408
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7f14a11349dae074b4f307488d0289e2fd7043e9;p=cvc5.git

Update bug_report.md
---

diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md
index 7335e13cc..0df44e807 100644
--- 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.