From 84b932845aa7770f4ec282b32e03e1cbc771ee7d Mon Sep 17 00:00:00 2001
From: Roman Venediktov <e2e4b6b7@gmail.com>
Date: Wed, 10 Jul 2024 19:34:35 +0200
Subject: [PATCH] Remove support of function arguments debugging from spec

---
 spec/07.debugging.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec/07.debugging.tex b/spec/07.debugging.tex
index e646aa08d..4eab7150e 100644
--- a/spec/07.debugging.tex
+++ b/spec/07.debugging.tex
@@ -20,7 +20,7 @@ The following debugging features are supported:
   \end{itemize}
 \item stepping over/into;
 \item inspecting the values of global variables by their source names;
-\item inspecting the values of function arguments and local variables (include those in nested scopes) by their source names;
+\item inspecting the values of local variables (include those in nested scopes) by their source names;
 \item inspecting the values in closures by their indices; the indices for closure elements can be found in stack machine
   program dump (option "\texttt{-ds}", see Section~\ref{sec:driver}).
 \end{itemize}