diff options
author | Hubert Plociniczak <hubert.plociniczak@epfl.ch> | 2009-11-04 16:42:33 +0000 |
---|---|---|
committer | Hubert Plociniczak <hubert.plociniczak@epfl.ch> | 2009-11-04 16:42:33 +0000 |
commit | 7cbc06ed2073df58f1af272c0c038aed087eebf9 (patch) | |
tree | 3a867c59564aa4c38d7cb73c880e2fbf8badcb27 /src | |
parent | 021dd25395bd38903d2436f3cd843892ff9da912 (diff) | |
download | scala-7cbc06ed2073df58f1af272c0c038aed087eebf9.tar.gz scala-7cbc06ed2073df58f1af272c0c038aed087eebf9.tar.bz2 scala-7cbc06ed2073df58f1af272c0c038aed087eebf9.zip |
Fix for #2556
Diffstat (limited to 'src')
-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) |