Merge pull request #18347 from case540/fix_source_writer
authorMichael Case <mikecase@google.com>
Tue, 10 Apr 2018 04:17:15 +0000 (21:17 -0700)
committerGitHub <noreply@github.com>
Tue, 10 Apr 2018 04:17:15 +0000 (21:17 -0700)
Fixes to source_writer.cc.


Trivial merge