diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex index 132d43441a24706cb11501a00a7ae7aa72a56900..508230d7c8c933b49215876099e358da74ff20ed 100644 --- a/doc/developer/advance.tex +++ b/doc/developer/advance.tex @@ -959,7 +959,7 @@ the configuration header of a test (or a test suite). & \texttt{from inout eva scope variadic} for tests under \texttt{./tests} directory \\ & \texttt{SCRIPT}\nscodeidxdef{Test!Directive}{SCRIPT} -& ML scripts to be loaded with each subsequent run (their compilation is performed by the \texttt{frama-c] command). +& ML scripts to be loaded with each subsequent run (their compilation is performed by the \texttt{frama-c} command). & \textit{None} \\ & \texttt{LIBS}\nscodeidxdef{Test!Directive}{LIBS}