diff --git a/docs/OSTrain2018docs-g4/expr2/proposal.md b/docs/OSTrain2018docs-g4/expr2/proposal.md
index 4eb6cc9..75fc11a 100755
--- a/docs/OSTrain2018docs-g4/expr2/proposal.md
+++ b/docs/OSTrain2018docs-g4/expr2/proposal.md
@@ -27,7 +27,7 @@ ucoreOS lab基于x86结构，主要由C语言完成编写。x86架构由于其
 
 **lab6:**此部分主要涉及进程调度器的相关内容，现有框架中本部分内容已经完成，是否存在问题有待后续测试。
 
-**lab7:**主要涉及的是进程间的同步、共享资源的竞争，要求熟悉掌握信号量的原理，管程与条件变量的原理与实现，并用其来解决哲学家问题。但是目前的rustOS-riscv中由于编译器对于原子指令的支持问题，导致相关功能未能实现，需要寻求解决的办法来完善该实验。而且x86_64下该模块与kernel尚未分离，导致结构不够清晰需要进行调整。
+**lab7:**主要涉及的是进程间的同步、共享资源的竞争，要求熟悉掌握信号量的原理，管程与条件变量的原理与实现，并用其来解决哲学家问题。**但是目前的rustOS-riscv中由于编译器对于原子指令的支持问题，导致相关功能未能实现**，需要寻求解决的办法来完善该实验。而且x86_64下该模块与kernel尚未分离，导致结构不够清晰需要进行调整。
 
 **lab8:**@朱书聪