From: ceriel <none@none>
Date: Thu, 23 Feb 1989 10:08:20 +0000 (+0000)
Subject: removed prt_ext
X-Git-Tag: release-5-5~2554
X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=6f4bdccf04f23b0eb6a16a9d62fa97cb87e71ac3;p=ack.git

removed prt_ext
---

diff --git a/mach/proto/fp/FP.script b/mach/proto/fp/FP.script
index a9fa23645..de2c407ed 100644
--- a/mach/proto/fp/FP.script
+++ b/mach/proto/fp/FP.script
@@ -28,7 +28,6 @@ g/_add_ext/s//.add_ext/g
 g/_div_ext/s//.div_ext/g
 g/_mul_ext/s//.mul_ext/g
 g/_nrm_ext/s//.nrm_ext/g
-g/_prt_ext/s//.prt_ext/g
 g/_sft_ext/s//.sft_ext/g
 g/_sub_ext/s//.sub_ext/g
 g/_zrf_ext/s//.zrf_ext/g