From 897a212ade5ceee4e4699e009d2d44870d0adc10 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Tue, 13 Aug 2019 00:12:15 +0100
Subject: [PATCH]

---
 ztrans_proposal.mdwn | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.30.2