diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-04-09 18:14:25 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-04-09 23:13:51 +0200 |
| commit | 74957b3b20aae3a0a2c7a41000c5a1424586f412 (patch) | |
| tree | eb26dcb0cf2cf992ebf8d2eb763d03ff6da8634d /src/dotty/tools/dotc/core/Types.scala | |
| parent | d0804782ba6956b1f906e646d14e3547adcaa23a (diff) | |
| download | dotty-74957b3b20aae3a0a2c7a41000c5a1424586f412.tar.gz dotty-74957b3b20aae3a0a2c7a41000c5a1424586f412.tar.bz2 dotty-74957b3b20aae3a0a2c7a41000c5a1424586f412.zip | |
Ensure spaces after `if` in Dotty source.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 802a4e406..e6235695e 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -76,7 +76,7 @@ object Types { val uniqId = { nextId = nextId + 1 -// if(nextId == 19555) +// if (nextId == 19555) // println("foo") nextId } |