Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cosmetics in kernel/resource
[simgrid.git] / src / kernel / resource / Model.cpp
index 4357714..b95f61f 100644 (file)
@@ -13,7 +13,6 @@ namespace kernel {
 namespace resource {
 
 Model::Model(Model::UpdateAlgo algo) : update_algorithm_(algo) {}
-Model::~Model() = default;
 
 Action::ModifiedSet* Model::get_modified_set() const
 {
@@ -143,7 +142,7 @@ Action* Model::extract_action(Action::StateSet* list)
 {
   if (list->empty())
     return nullptr;
-  simgrid::kernel::resource::Action* res = &list->front();
+  Action* res = &list->front();
   list->pop_front();
   return res;
 }