Work around name clash with Windows10's winnt.h
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Thu, 31 May 2018 11:26:00 +0000 (13:26 +0200)
committerGitHub <noreply@github.com>
Thu, 31 May 2018 11:26:00 +0000 (13:26 +0200)
commita91f1587b9be6c9bbc403a79970d3e2a03bf866c
tree64738b234d63f3789e31f9092b5c2124ca7af3ef
parentf5959f2543399b764ee9bf6bf1874dfb7caa9fee
Work around name clash with Windows10's winnt.h

fixes #1503
driver/level3/Makefile