From a47801fe41f81f0d6ceb617c92564b0b57fb704b Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Wed, 28 May 2014 19:40:19 +0100
Subject: [PATCH] Typo

---
 src/vesselbase/ActionWithVessel.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/vesselbase/ActionWithVessel.h b/src/vesselbase/ActionWithVessel.h
index 81d8af252..6d3126299 100644
--- a/src/vesselbase/ActionWithVessel.h
+++ b/src/vesselbase/ActionWithVessel.h
@@ -144,7 +144,7 @@ protected:
   unsigned getCurrentTask() const ;
 /// Deactivate all the tasks in the task list
   void deactivateAllTasks();
-/// Deactivate all tasks with i in lower \le  i < upper
+/// Deactivate all tasks with i in lower \f$\le\f$  i < upper
   void deactivateTasksInRange( const unsigned& lower, const unsigned& upper );
 /// Add a task to the full list
   void addTaskToList( const unsigned& taskCode );
-- 
GitLab