Merge pull request #694 from trcwm/dffmap_expr_fix
authorClifford Wolf <clifford@clifford.at>
Tue, 6 Nov 2018 11:21:05 +0000 (12:21 +0100)
committerGitHub <noreply@github.com>
Tue, 6 Nov 2018 11:21:05 +0000 (12:21 +0100)
DFFLIBMAP: changed 'missing pin' error into a warning.


Trivial merge