From e34d9a745bb7b14d69b243f31f90e2a54f2be491 Mon Sep 17 00:00:00 2001
From: jhumeau <jhumeau@331e1502-861f-0410-8da2-ba01fb791d7f>
Date: Wed, 3 Feb 2010 17:02:52 +0000
Subject: [PATCH] doc

git-svn-id: svn://scm.gforge.inria.fr/svnroot/paradiseo@1679 331e1502-861f-0410-8da2-ba01fb791d7f
---
 branches/newMo/src/explorer/moTSExplorer.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/branches/newMo/src/explorer/moTSExplorer.h b/branches/newMo/src/explorer/moTSExplorer.h
index adec8cc25..b00cdbd2c 100644
--- a/branches/newMo/src/explorer/moTSExplorer.h
+++ b/branches/newMo/src/explorer/moTSExplorer.h
@@ -121,7 +121,7 @@ public:
 
 
 	/**
-	 *
+	 * terminate : NOTHING TO DO
 	 */
     virtual void terminate(EOT & solution)
     {