From fceae12df8bc1bfd677832a1f73f899f1fc3e8c6 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 28 Aug 2017 00:37:30 +0200
Subject: [PATCH] a class with no method is not a class

---
 src/instr/instr_private.h | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h
index e9ce033c94..3dee571d22 100644
--- a/src/instr/instr_private.h
+++ b/src/instr/instr_private.h
@@ -58,17 +58,14 @@ typedef enum {
 
 //--------------------------------------------------
 
-class ess_type {
-  public:
+class Type;
+typedef Type* type_t;
+class Type {
+public:
   char *id;
   char *name;
   char *color;
-};
 
-class Type;
-typedef Type *type_t;
-class Type : public ess_type {
-  public:
   e_entity_types kind;
   Type *father;
   xbt_dict_t children;
@@ -83,8 +80,12 @@ class Type : public ess_type {
 };
 
 //--------------------------------------------------
-class value : public ess_type{
+class value {
 public:
+  char* id;
+  char* name;
+  char* color;
+
   type_t father;
   value* ret;
   value(const char* name, const char* color, type_t father);
-- 
2.20.1