diff options
-rw-r--r-- | docs/users_guide/profiling.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/profiling.rst b/docs/users_guide/profiling.rst index 4acd13c48c..5c74041adb 100644 --- a/docs/users_guide/profiling.rst +++ b/docs/users_guide/profiling.rst @@ -214,7 +214,7 @@ may not appear in a position where it would change the grouping of subexpressions:: a = 1 / 2 / 2 -- accepted (a=0.25) - b = 1 / {-# SCC "name" #-} / 2 / 2 -- rejected (instead of b=1.0) + b = 1 / {-# SCC "name" #-} 2 / 2 -- rejected (instead of b=1.0) This restriction is required to maintain the property that inserting a pragma, just like inserting a comment, does not have unintended effects on the |