[src] Fix timings.cpp warning (useless ;)

d7c3c0a9 · olivier stasse · Valenza Florian · dac4a60b · d7c3c0a9
Commit d7c3c0a9 authored 9 years ago by olivier stasse Committed by Valenza Florian 9 years ago
--- a/benchmark/timings.cpp
+++ b/benchmark/timings.cpp
@@ -19,7 +19,7 @@
 #include "pinocchio/tools/timer.hpp"

 #include <Eigen/StdVector>
-EIGEN_DEFINE_STL_VECTOR_SPECIALIZATION(Eigen::VectorXd);
+EIGEN_DEFINE_STL_VECTOR_SPECIALIZATION(Eigen::VectorXd)

 int main(int argc, const char ** argv)
 {