diff options
Diffstat (limited to 'docs/users_guide/separate_compilation.rst')
| -rw-r--r-- | docs/users_guide/separate_compilation.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/separate_compilation.rst b/docs/users_guide/separate_compilation.rst index c8a816ccd1..716dd92223 100644 --- a/docs/users_guide/separate_compilation.rst +++ b/docs/users_guide/separate_compilation.rst @@ -586,7 +586,7 @@ The GHC API exposes functions for reading and writing these files. :type: dynamic :category: extended-interface-files - Writes out extended interface files alongisde regular enterface files. + Writes out extended interface files alongside regular interface files. Just like regular interface files, GHC has a recompilation check to detect out of date or missing extended interface files. |