From fcd67831570f63937a7ff2703d57f9021c20bc0f Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 27 Jul 2016 16:21:37 +0200
Subject: [PATCH] * doc/org/tut50.org: Simplify UML diagrams.

---
 doc/org/tut50.org | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/doc/org/tut50.org b/doc/org/tut50.org
index 0458a6e3d..c42c2c469 100644
--- a/doc/org/tut50.org
+++ b/doc/org/tut50.org
@@ -462,9 +462,9 @@ package spot {
 
     class succ_iterator {
       succ_iterator(twa_succ_iterator*)
-      bool operator==(succ_iterator) const
-      bool operator!=(succ_iterator) const
-      const twa_succ_iterator* operator*() const
+      bool operator==(succ_iterator)
+      bool operator!=(succ_iterator)
+      const twa_succ_iterator* operator*()
       void operator++()
     }
   }
@@ -500,15 +500,16 @@ package spot {
   }
 
   abstract class state {
-    +{abstract}int compare(const state*) const
-    +{abstract}size_t hash() const
-    +{abstract}state* clone() const
-    +void destroy() const
+    +{abstract}int compare(const state*)
+    +{abstract}size_t hash()
+    +{abstract}state* clone()
+    +void destroy()
     #~state()
   }
   }
 
 
+
   class twa_graph
 
   twa <|-- twa_graph