diff options
Diffstat (limited to 'api/dotty/tools/dotc/repl/ammonite/terminal/FilterTools$.html')
| -rw-r--r-- | api/dotty/tools/dotc/repl/ammonite/terminal/FilterTools$.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/FilterTools$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/FilterTools$.html index 0f072b5b1..371ef9917 100644 --- a/api/dotty/tools/dotc/repl/ammonite/terminal/FilterTools$.html +++ b/api/dotty/tools/dotc/repl/ammonite/terminal/FilterTools$.html @@ -5490,7 +5490,7 @@ - <span class="no-left">: TermState$</span> + <span class="no-left">: TermState.type</span> </div><!-- end member-title --> |