Merge pull request #590 from hzeller/remaining-file-error
authorClifford Wolf <clifford@clifford.at>
Wed, 15 Aug 2018 12:01:34 +0000 (14:01 +0200)
committerGitHub <noreply@github.com>
Wed, 15 Aug 2018 12:01:34 +0000 (14:01 +0200)
Fix remaining log_file_error(); emit dependent file references in new…

1  2 
frontends/ast/simplify.cc

Simple merge