Rework the doc of model-check/replay, and add an example with sthread

[simgrid.git] / examples / smpi / NAS / nas_common.h

diff --git a/examples/smpi/NAS/nas_common.h b/examples/smpi/NAS/nas_common.h
index a264f2195709b282275bb4651a7600fe490086fa..a234be5b25a090b0e33433d3f8c1a1047d37cb03 100644 (file)
--- a/examples/smpi/NAS/nas_common.h
+++ b/examples/smpi/NAS/nas_common.h
@@ -1,4 +1,4 @@
-/* Copyright (c) 2016. The SimGrid Team.
+/* Copyright (c) 2016-2023. The SimGrid Team.
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
@@ -8,6 +8,7 @@
 
 #include <stdlib.h>
 #include <stdio.h>
+#include <stdint.h>
 #include <math.h>
 #include "mpi.h"