From: lkcl <lkcl@web>
Date: Mon, 12 Aug 2019 23:12:15 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~4226
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=897a212ade5ceee4e4699e009d2d44870d0adc10;p=libreriscv.git

---

diff --git a/ztrans_proposal.mdwn b/ztrans_proposal.mdwn
index 5059f6e44..bf2c0aede 100644
--- a/ztrans_proposal.mdwn
+++ b/ztrans_proposal.mdwn
@@ -190,6 +190,7 @@ a decision
 
 > > correctly-rounded LOG will return different results than LOGP1 and ADD.
 > > Likewise for EXP and EXPM1
+
 > ok, they stay in as real opcodes, then.
 
 # ATAN / ATAN2 commentary