(no commit message)

diff --git a/mnolan.mdwn b/mnolan.mdwn
index 2856c256fbbffe206365314d26d3cfc0d25431af..d329e5bafa77d87430300bdb89561780130e2bf3 100644 (file)
--- a/mnolan.mdwn
+++ b/mnolan.mdwn
@@ -46,7 +46,7 @@ Bored college student and contributor to Libre-SOC
     - Verify FPMAX/MIN
  - <https://bugs.libre-soc.org/show_bug.cgi?id=165> parent #196
     - Verify FP comparison operators
- - <https://bugs.libre-soc.org/show_bug.cgi?id=211> parent #196
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=211> parent #195
     - Formal proof of decoder
 
 ## Submitted for RFP, waiting for payment