From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 15 Jan 2016 14:35:00 +0000 (-0800)
Subject: SAVE TRANSLATE: Improve error message.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e441137bbe19f41edbc87dd51ecd2a8e4396cf6d;hp=e441137bbe19f41edbc87dd51ecd2a8e4396cf6d;p=pspp

SAVE TRANSLATE: Improve error message.

Before this commit, "SAVE TRANSLATE OUTFILE='...'" gave a confusing error
message.  After this commit, it clearly reports the missing slash before
OUTFILE.
---