From ab985afa9e4949c1b405612bddc03633283eba78 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 8 Jan 2015 21:46:44 +0100
Subject: [PATCH] * src/tgbaalgos/weight.hh: Remove useless status.

---
 src/tgbaalgos/weight.hh | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/tgbaalgos/weight.hh b/src/tgbaalgos/weight.hh
index 9aa327a12..8fae5d881 100644
--- a/src/tgbaalgos/weight.hh
+++ b/src/tgbaalgos/weight.hh
@@ -1,5 +1,8 @@
+// -*- coding: utf-8 -*-
+// Copyright (C) 2015 Laboratoire de Recherche et Développement de
+// l'Epita (LRDE).
 // Copyright (C) 2004, 2014  Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
+// département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
@@ -49,8 +52,7 @@ namespace spot
 				    const weight& w);
 
   private:
-    typedef std::vector<int> weight_vector;
-    weight_vector m;
+    std::vector<int> m;
   };
 };