tree f5ae12e665b00acfe47ed415d29a9102c276de47
parent d2fc597d5b05aaa4531ff6daede9a47c739eb70e
author Christoph Hertzberg <chtz@informatik.uni-bremen.de> 1414695549 +0100
committer Christoph Hertzberg <chtz@informatik.uni-bremen.de> 1414695549 +0100

EIGEN_UNUSED_VARIABLE works better than casting to void. Make this also usable from CUDA code