diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-06-06 17:58:03 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-06-06 17:58:03 (GMT) |
commit | e5a393584b030ac90c4e7abf65063ef72b910555 (patch) | |
tree | bfab1a3c3e4a1c8fc5dc3d27bd1b4f0044901293 /src/uscxml/plugins/invoker/umundo | |
parent | 4ecca617e628e94845dafafbdee46ce57f7bc843 (diff) | |
download | uscxml-e5a393584b030ac90c4e7abf65063ef72b910555.zip uscxml-e5a393584b030ac90c4e7abf65063ef72b910555.tar.gz uscxml-e5a393584b030ac90c4e7abf65063ef72b910555.tar.bz2 |
Changed getNames signature from set to list
Diffstat (limited to 'src/uscxml/plugins/invoker/umundo')
-rw-r--r-- | src/uscxml/plugins/invoker/umundo/UmundoInvoker.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/uscxml/plugins/invoker/umundo/UmundoInvoker.h b/src/uscxml/plugins/invoker/umundo/UmundoInvoker.h index 9c64886..1c5c9a3 100644 --- a/src/uscxml/plugins/invoker/umundo/UmundoInvoker.h +++ b/src/uscxml/plugins/invoker/umundo/UmundoInvoker.h @@ -43,11 +43,11 @@ public: virtual ~UmundoInvoker(); virtual boost::shared_ptr<InvokerImpl> create(InterpreterImpl* interpreter); - virtual std::set<std::string> getNames() { - std::set<std::string> names; - names.insert("umundo"); - names.insert("http://umundo.tk.informatik.tu-darmstadt.de/"); - names.insert("http://umundo.tk.informatik.tu-darmstadt.de"); + virtual std::list<std::string> getNames() { + std::list<std::string> names; + names.push_back("umundo"); + names.push_back("http://umundo.tk.informatik.tu-darmstadt.de/"); + names.push_back("http://umundo.tk.informatik.tu-darmstadt.de"); return names; } |