Update gen_external.py
authorMartinHN <MartinHN@users.noreply.github.com>
Mon, 24 Jul 2017 14:08:01 +0000 (10:08 -0400)
committerGitHub <noreply@github.com>
Mon, 24 Jul 2017 14:08:01 +0000 (10:08 -0400)
commit50853b0dcfe55e0ddc478f98dee3cab9d41da263
tree33a12f9313e5c9650c8ab286ce4153d4b560b6b4
parentccd03272897cd28af538c5f39453f9304c71a4e3
Update gen_external.py

gen_external :
* fix unused variable in get_all_func_names_from_lib
* use proper python syntax : 'is' and 'not in'
python/lib/gen_external.py