In some cases, no stack guard page is used and the stack will silently
overflow on other parts of the memory if the stack size is too small
-for your application. This happens :
+for your application. This happens :
- on Windows systems;
- when the model checker is enabled;
* @brief Update the weight of a variable
*
* @param sys A system
- * @param var A variable
+ * @param var A variable
* @param weight The new weight of the variable
*/
XBT_PUBLIC(void) lmm_update_variable_weight(lmm_system_t sys,