From 3b1f9cf8c2298a3ef6d2c92000241dfe3441403d Mon Sep 17 00:00:00 2001
From: Mansard <nmansard@laas.fr>
Date: Wed, 2 Feb 2011 16:29:15 +0100
Subject: [PATCH] Remove a duplicated command.
---
src/traces/tracer.cpp | 5 -----
1 file changed, 5 deletions(-)
diff --git a/src/traces/tracer.cpp b/src/traces/tracer.cpp
index c4cb373..f85901f 100644
--- a/src/traces/tracer.cpp
+++ b/src/traces/tracer.cpp
@@ -92,11 +92,6 @@ Tracer::Tracer( const std::string n )
addCommand("start",
makeCommandVoid0(*this,&Tracer::start,doc ));
- doc = docCommandVoid0("Stop temporarily the tracing process.");
- addCommand("stop",
- makeCommandVoid0(*this,&Tracer::stop,doc ));
-
-
doc = docCommandVoid0("Stop temporarily the tracing process.");
addCommand("stop",
makeCommandVoid0(*this,&Tracer::stop,doc ));
--
GitLab