fixed a last compilation warning dues to unused typedef
Merge pull request #35 from ethz-asl/fix/compilation_warning_unused_typedefs

fixed a last compilation warning dues to unused typedef