Typo.

diff --git a/doc/doxygen/inside.doc b/doc/doxygen/inside.doc
index f970655..7a04432 100644 (file)
--- a/doc/doxygen/inside.doc
+++ b/doc/doxygen/inside.doc
@@ -28,7 +28,7 @@ different from runtime configuration.
 
 In particular, the build is configured by default to produce highly
 optimized binaries, at the price of high compilation time. The
 
 In particular, the build is configured by default to produce highly
 optimized binaries, at the price of high compilation time. The

-rational is that users will compile SimGrid only once, and use it many
+rationale is that users will compile SimGrid only once, and use it many

 times. This is exactly the contrary for the insiders, so you want to
 turn off \b enable_compile_optimizations.
 
 times. This is exactly the contrary for the insiders, so you want to
 turn off \b enable_compile_optimizations.
 

diff --git a/include/xbt/base.h b/include/xbt/base.h
index 8528c62..93f0491 100644 (file)
--- a/include/xbt/base.h
+++ b/include/xbt/base.h
@@ -134,7 +134,7 @@
 
 /* Handle import/export stuff
  *
 
 /* Handle import/export stuff
  *

- * Rational of XBT_PUBLIC:
+ * Rationale of XBT_PUBLIC:

  *   * This is for library symbols visible from the application-land.
  *     Basically, any symbols defined in the include/directory must be like this (plus some other globals).
  *
  *   * This is for library symbols visible from the application-land.
  *     Basically, any symbols defined in the include/directory must be like this (plus some other globals).
  *


@@ -145,7 +145,7 @@
  *   * If you link your application against the DLL or if you do a UNIX build, don't do anything special. This file
  *     will do the right thing for you by default.
  *
  *   * If you link your application against the DLL or if you do a UNIX build, don't do anything special. This file
  *     will do the right thing for you by default.
  *

- * Rational of XBT_EXPORT_NO_IMPORT: (windows-only)
+ * Rationale of XBT_EXPORT_NO_IMPORT: (windows-only)

  *   * Symbols which must be exported in the DLL, but not imported from it.
  *
  *   * This is obviously useful for initialized globals (which cannot be  extern or similar).
  *   * Symbols which must be exported in the DLL, but not imported from it.
  *
  *   * This is obviously useful for initialized globals (which cannot be  extern or similar).


@@ -153,7 +153,7 @@
  *     called from within SimGrid, the symbol must be exported, but when called  from within the client code, it must
  *     not try to retrieve the symbol from the DLL since it's not in there.
  *
  *     called from within SimGrid, the symbol must be exported, but when called  from within the client code, it must
  *     not try to retrieve the symbol from the DLL since it's not in there.
  *

- * Rational of XBT_IMPORT_NO_EXPORT: (windows-only)
+ * Rationale of XBT_IMPORT_NO_EXPORT: (windows-only)

  *   * Symbols which must be imported from the DLL, but not explicitly  exported from it.
  *
  *   * The root log category is already exported, but not imported explicitly when creating a subcategory since we
  *   * Symbols which must be imported from the DLL, but not explicitly  exported from it.
  *
  *   * The root log category is already exported, but not imported explicitly when creating a subcategory since we

diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp
index e5a9826..80653b0 100644 (file)
--- a/src/simix/smx_global.cpp
+++ b/src/simix/smx_global.cpp
@@ -441,7 +441,7 @@ void SIMIX_run()
        *   Long proof: processes remain sorted through an arbitrary (implicit, complex but fixed) order in all cases.
        *
        *   - if there is no kill during the simulation, processes remain sorted according by their PID.
        *   Long proof: processes remain sorted through an arbitrary (implicit, complex but fixed) order in all cases.
        *
        *   - if there is no kill during the simulation, processes remain sorted according by their PID.

-       *     rational: This can be proved inductively.
+       *     Rationale: This can be proved inductively.

        *        Assume that process_to_run is sorted at a beginning of one round (it is at round 0: the deployment file
        *        is parsed linearly).
        *        Let's show that it is still so at the end of this round.
        *        Assume that process_to_run is sorted at a beginning of one round (it is at round 0: the deployment file
        *        is parsed linearly).
        *        Let's show that it is still so at the end of this round.