diff --git a/cartographer_ros.rosinstall b/cartographer_ros.rosinstall index 21e00ed..67720dd 100644 --- a/cartographer_ros.rosinstall +++ b/cartographer_ros.rosinstall @@ -1,3 +1,3 @@ - git: {local-name: cartographer, uri: 'https://github.com/googlecartographer/cartographer.git'} - git: {local-name: cartographer_ros, uri: 'https://github.com/googlecartographer/cartographer_ros.git'} -- git: {local-name: ceres-solver, uri: 'https://ceres-solver.googlesource.com/ceres-solver.git', version: '1.12.0'} +- git: {local-name: ceres-solver, uri: 'https://ceres-solver.googlesource.com/ceres-solver.git', version: '1.13.0'}