From 869331a6efdbbd87ea76a9d0034d05195ac9733b Mon Sep 17 00:00:00 2001
From: Hui Lan <lanhui@zjnu.edu.cn>
Date: Fri, 7 Jul 2023 10:59:12 +0800
Subject: =?UTF-8?q?=E8=9E=8D=E5=85=A5=E9=A1=BE=E6=99=93=E6=A5=A0=E3=80=81?=
 =?UTF-8?q?=E6=B2=88=E6=81=AC=E7=9A=84=E6=94=B9=E8=BF=9B?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 parnas-a-rational-design-process.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'parnas-a-rational-design-process.rst')

diff --git a/parnas-a-rational-design-process.rst b/parnas-a-rational-design-process.rst
index 974a65d..6fca58f 100644
--- a/parnas-a-rational-design-process.rst
+++ b/parnas-a-rational-design-process.rst
@@ -514,7 +514,7 @@ Page 17
 对每个这样的类型，我们都有一个仅包含对该类型定义的字典。
 虽然一开始读者会觉得!+terms+!、 %terms%、 #terms#等的存在烦人， 但是我们文档的老用户会发现这些括号暗含的类型信息使得文档更容易阅读。
 类型字典的使用减少了我们为同一个概念定义两个术语， 或者为同一个术语给出两个含义的可能。
-特殊括号符号对已经引入但未被定义， 或已定义但从未被使用的术语实行机械检查变得容易。
+特殊的括号符号使得对已引入但未定义或已定义但从未使用的术语进行机械检查变得容易。
 
 .. 上面描述了我们希望遵循的理想流程以及在此流程中生成的文档。我们通过生成
    文档来伪造这个过程，如果我们以理想的方式做事，就会生成这些文档。我们试
-- 
cgit v1.2.1