* Libunwind implementation for the model-checker
*
* Libunwind provides an pluggable stack unwinding API: the way the current
- * registers and memory is accessed, the way unwinding informations is found
+ * registers and memory is accessed, the way unwinding information is found
* is pluggable.
*
* This component implements the libunwind API for he model-checker: