Format again

Signed-off-by: Yonghao Zou <zouyonghao@live.cn>

Author: zouyonghao

lock-protocol/src/mm/page_table/cursor/spec_helpers.rs

@@ -49,7 +49,7 @@ pub open spec fn spt_do_not_change_except_modify_pte<C: PageTableConfig>(
     &&& old_spt.wf()
     &&& spt.instance.id() == old_spt.instance.id()
     &&& spt.instance.root()
-        == old_spt.instance.root()// &&& forward_spt_do_not_change_except(spt, old_spt, pte_addr)
+        == old_spt.instance.root()  // &&& forward_spt_do_not_change_except(spt, old_spt, pte_addr)
     // not correct?
     &&& forward_spt_do_not_change_except(old_spt, spt, pte_addr)
 }