diff options
| -rw-r--r-- | docs/users_guide/separate_compilation.rst | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/users_guide/separate_compilation.rst b/docs/users_guide/separate_compilation.rst index 11cd2cfc4e..7007924c4f 100644 --- a/docs/users_guide/separate_compilation.rst +++ b/docs/users_guide/separate_compilation.rst @@ -1500,7 +1500,6 @@ module: instance* or at least one *orphan rule*. - An instance declaration in a module ``M`` is an *orphan instance* if - orphan instance - The class of the instance declaration is not declared in ``M``, and |