fix some typos

diff --git a/doc/doxygen/uhood.doc b/doc/doxygen/uhood.doc
index 6a75337..b1ef22d 100644 (file)
--- a/doc/doxygen/uhood.doc
+++ b/doc/doxygen/uhood.doc
@@ -25,7 +25,7 @@ We provide an uniform interface to them:
   (and share the same reference count).
 
 The ability to manipulate thge objects thought pointers and have the ability
   (and share the same reference count).
 
 The ability to manipulate thge objects thought pointers and have the ability

-to use explicite reference count management is useful for creating C wrappers
+to use explicit reference count management is useful for creating C wrappers

 to the S4U and should play nicely with other language bindings (such as
 SWIG-based ones).
 
 to the S4U and should play nicely with other language bindings (such as
 SWIG-based ones).
 

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 2023655..5d0e4af 100644 (file)
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -294,10 +294,10 @@ bool ModelChecker::handle_message(char* buffer, ssize_t size)
   return true;
 }
 
   return true;
 }
 

-/** Terminate the model-checker aplication */
+/** Terminate the model-checker application */

 void ModelChecker::exit(int status)
 {
 void ModelChecker::exit(int status)
 {

-  // TODO, terminate the model checker politely instead of exiting rudel
+  // TODO, terminate the model checker politely instead of exiting rudely

   if (process().running())
     kill(process().pid(), SIGKILL);
   ::exit(status);
   if (process().running())
     kill(process().pid(), SIGKILL);
   ::exit(status);