No longer cache file content
Compare changes
+ 3
− 15
@@ -141,22 +141,10 @@ class DefaultReporter(debugSections: Set[DebugSection]) extends Reporter(debugSe
Created by: mantognini
This removes a small cache that creates some issues with --watch
in stainless. The reporter was printing obsolete file content. Such printing being rare, I don't think it's worth considering having a smart cache that tracks file changes.