Eirik Byrkjeflot Anonsen 162ea1a49a Replace two dynamic_casts with static_casts
This eliminates two uses of RTTI in Catch.
2016-04-04 18:38:25 +02:00
..
2014-12-11 23:48:11 +00:00
2014-03-17 18:40:58 +00:00
2014-05-20 18:49:28 +01:00
2014-05-19 18:57:14 +01:00
2015-07-01 07:33:27 +01:00
2015-07-28 18:55:11 +01:00
2016-03-14 19:13:34 +00:00
2015-12-04 10:19:08 +00:00
2014-06-30 07:33:17 +01:00
2014-06-30 07:33:17 +01:00
2014-03-17 18:40:58 +00:00
2015-07-01 07:33:27 +01:00
2016-03-15 07:24:26 +00:00