diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index f5f266a52c..a4a08302a9 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -7638,7 +7638,7 @@ your program, we encourage you to turn on these flags, especially .. index:: single: TYPE - single: runtime representation polymorphism + single: representation polymorphism .. _runtime-rep: |