diff --git a/spec/abstract/Syscall_A.thy b/spec/abstract/Syscall_A.thy
index e308501..6576f78 100644
--- a/spec/abstract/Syscall_A.thy
+++ b/spec/abstract/Syscall_A.thy
@@ -72,7 +72,7 @@ occured in the first operation); this second
operation may result in
an error;
\item the error handler @{text h_error} to execute if the second
operation resulted in an error;
-\item the third and last operation @{text h_error} to execute (if
+\item the third and last operation @{text m_finalise} to execute (if
no error occured in the second operation); this operation may be
interrupted.
\end{itemize}
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
