Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[simgrid.git] / include / xbt / ex.hpp

diff --git a/include/xbt/ex.hpp b/include/xbt/ex.hpp
index 882f15b2d7e5a9bbace7c966c801e97aa4b94324..efd8eee333e345dc4cac4ff7b800df2c6a658690 100644 (file)
--- a/include/xbt/ex.hpp
+++ b/include/xbt/ex.hpp
@@ -79,7 +79,7 @@ struct XBT_PUBLIC() xbt_ex :
     simgrid::xbt::WithContextException(throwpoint, simgrid::xbt::backtrace())
   {}
 
     simgrid::xbt::WithContextException(throwpoint, simgrid::xbt::backtrace())
   {}
 

-  virtual ~xbt_ex() = default;
+  ~xbt_ex() = default;

 
   /** Category (what went wrong) */
   xbt_errcat_t category = unknown_error;
 
   /** Category (what went wrong) */
   xbt_errcat_t category = unknown_error;