Update p3-labs.md

TsinghuaDatabaseGroup · TsinghuaDatabaseGroup · commit a8bf2d71c18a · 2026-05-22T21:37:14.000+08:00
diff --git a/lec11/p3-labs.md b/lec11/p3-labs.md
@@ -372,7 +372,6 @@ Runtime::new() 主要有三个步骤：
         }
         available.state = State::Ready; //设置任务为就绪态
     }
-}
 ```
 
 ---

Original file line number	Diff line number	Diff line change
`@@ -372,7 +372,6 @@ Runtime::new() 主要有三个步骤：`
`372`	`372`	`}`
`373`	`373`	`available.state = State::Ready; //设置任务为就绪态`
`374`	`374`	`}`
`375`		`-}`
`376`	`375`	```
`377`	`376`
`378`	`377`	`---`