removed non-ascii char (trac 8046)

[SVN r83755]
This commit is contained in:
Christophe Henry 2013-04-03 20:21:00 +00:00
parent 842daf9db5
commit 417fb3d052

View File

@ -1973,7 +1973,7 @@ private:
ret_handled = handled;
}
// process completion transitions BEFORE any other event in the pool (UML Standard 2.3 §15.3.14)
// process completion transitions BEFORE any other event in the pool (UML Standard 2.3 15.3.14)
handle_eventless_transitions_helper<library_sm> eventless_helper(this,(handled == HANDLED_TRUE));
eventless_helper.process_completion_event();