tree 3ec1038d1749383a98262061945d1f824946cb76
parent edbdef7ccf88df9632ad9e31884da347d1d3cd7c
author Wenzel Jakob <wenzel@inf.ethz.ch> 1443964632 +0200
committer Wenzel Jakob <wenzel@inf.ethz.ch> 1443964632 +0200

fixed testcase to take enum->int conversion into account