docs: 改正misc/algorithmSeparation的文档

Fixes #570 Relates-to: #510
BITNP · Jan 9, 2025 · eb2b93d · eb2b93d
1 parent 5140f6e
commit eb2b93d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bithesis-doc.tex b/bithesis-doc.tex
@@ -1425,7 +1425,7 @@ \subsubsection{其他配置}
 
 \begin{function}[added=2024-05-20]{misc/algorithmSeparation}
 \begin{bitsyntax}[emph={[1]algorithmSeparation}]
-floatSeparation = (*(12pt plus 4pt minus 4pt)|\marg{长度}*)
+algorithmSeparation = (*(12pt plus 4pt minus 4pt)|\marg{长度}*)
 \end{bitsyntax}
 
  \textit{此选项一般不需要用户自行修改。}