; Fix last change.

(cherry picked from commit ccf46acefd2272afa18832cd6dd4d35b0803e70a)

diff --git a/etc/DEBUG b/etc/DEBUG
index 580083a9fcf7c677ac2babdbe93cfe48cc288ba1..55cec02c1c9e6ea5ab32407f04f99e8ec9a33bd3 100644 (file)
--- a/etc/DEBUG
+++ b/etc/DEBUG
@@ -612,7 +612,7 @@ recommend to follow the procedure below to try to identify the cause:
      (declare (speed 1))
 
    at the beginning of the body of suspected function(s) to change
-   native-comp-speed only for those functions -- this could help you
+   'native-comp-speed' only for those functions -- this could help you
    identify the function(s) which cause(s) the problem.
 
  . Reduce the problematic function(s) to the minimal code that still