The $K$-theory of an equicharacteristic discrete valuation ring injects into the $K$-theory of its field of quotients.