(no commit message)

diff --git a/ztrans_proposal.mdwn b/ztrans_proposal.mdwn
index 5059f6e443434659fa7678faa03b188b4f9eb54c..bf2c0aede655d8e56c1e2b507fbf25360c0528cb 100644 (file)
--- 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