diff options
Diffstat (limited to 'etc/DEBUG')
| -rw-r--r-- | etc/DEBUG | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/DEBUG b/etc/DEBUG index 290c01faf3e..f66a8d5d588 100644 --- 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 |