Merge pull request #1466 from rubenk/write_riemann-remove-unneeded-include
authorRuben Kerkhof <ruben@tilaa.nl>
Sun, 13 Dec 2015 11:37:17 +0000 (12:37 +0100)
committerRuben Kerkhof <ruben@tilaa.nl>
Sun, 13 Dec 2015 11:37:17 +0000 (12:37 +0100)
write_riemann: remove unneeded include


Trivial merge