-/* Copyright (c) 2016. The SimGrid Team.
+/* Copyright (c) 2016-2020. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
/** A `error_category` suitable to be used with `errno`
*
* It is not clear which error we are supposed to generate
- * when getting a errno:
+ * when getting an errno:
*
* * `system_error` clearly cannot be used for this on Windows;
*