helper/replacements.h: Add missing #include 57/4057/3
authorMarc Schink <openocd-dev@marcschink.de>
Tue, 7 Mar 2017 23:06:35 +0000 (00:06 +0100)
committerTomas Vanek <vanekt@fbl.cz>
Wed, 7 Mar 2018 23:43:58 +0000 (23:43 +0000)
commit703ce2e9414246b15fced07889c58f0acd691053
tree77a000b3bef7cb7aed270f5f01d46d7876d61648
parentc1c450e0f75a5ed11b2163a1e21dd9516dc07618
helper/replacements.h: Add missing #include

Change-Id: Ic6c47f7fbc999d00ef3211c1fa44867e3aabc321
Signed-off-by: Marc Schink <openocd-dev@marcschink.de>
Reviewed-on: http://openocd.zylin.com/4057
Tested-by: jenkins
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>
src/helper/replacements.h