It is the actual cash receipt that we should use. If you are given sale proceeds at current prices then you need to inflate it to get the actual cash proceeds.
(The only exception is when you are specifically asked to use the real cash flows (i.e. without inflation), and to discount at the real cost of capital, but this is rarely asked.)