Remove obsolete comment about Let being processed synchronously

Let proof terms are stocked in the named_context that is used directly
everywhere, hence there is no way to stock a Future proof term there.

0 files changed, 0 insertions, 0 deletions