Transforms osrm_exception to exception

2016-01-28 14:27:05 +01:00
parent 5de8f1803c
commit 64b36807d3
20 changed files with 22 additions and 22 deletions
@@ -13,7 +13,7 @@
 #include "storage/shared_barriers.hpp"
 #include "storage/shared_memory.hpp"
 #include "util/fingerprint.hpp"
-#include "util/osrm_exception.hpp"
+#include "util/exception.hpp"
 #include "util/simple_logger.hpp"
 #include "util/typedefs.hpp"