diff options
-rw-r--r-- | src/compiler/scala/tools/nsc/interactive/RefinedBuildManager.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/interactive/RefinedBuildManager.scala b/src/compiler/scala/tools/nsc/interactive/RefinedBuildManager.scala index 769c3b9250..1c92ccade5 100644 --- a/src/compiler/scala/tools/nsc/interactive/RefinedBuildManager.scala +++ b/src/compiler/scala/tools/nsc/interactive/RefinedBuildManager.scala @@ -153,6 +153,9 @@ class RefinedBuildManager(val settings: Settings) extends Changes with BuildMana case Changed(Class(_)) if parentChange => invalidate(file, "parents have changed", change) + case Changed(Definition(_)) if parentChange => + invalidate(file, "inherited method changed", change) + case Added(Definition(_)) if parentChange => invalidate(file, "inherited new method", change) |