Return values.

diff --git a/src/surf/vm_workstation.hpp b/src/surf/vm_workstation.hpp
index 6d8d552..ce78cc7 100644 (file)
--- a/src/surf/vm_workstation.hpp
+++ b/src/surf/vm_workstation.hpp
@@ -115,9 +115,13 @@ public:
   //FIXME: remove
   void updateState(tmgr_trace_event_t event_type, double value, double date) {
        WorkstationCLM03Lmm::updateState(event_type, value, date);
   //FIXME: remove
   void updateState(tmgr_trace_event_t event_type, double value, double date) {
        WorkstationCLM03Lmm::updateState(event_type, value, date);

-  };
-  bool isUsed() {WorkstationCLM03Lmm::isUsed();};
-  xbt_dict_t getProperties() {WorkstationCLM03Lmm::getProperties();};
+  }
+  bool isUsed() {
+    return WorkstationCLM03Lmm::isUsed();
+  }
+  xbt_dict_t getProperties() {
+    return WorkstationCLM03Lmm::getProperties();
+  }

   ActionPtr execute(double size);
 
 };
   ActionPtr execute(double size);
 
 };