resource_id is unsigned int

[frescor/frsh-include.git] / frsh_fosa_opaque.h

diff --git a/frsh_fosa_opaque.h b/frsh_fosa_opaque.h
index fdc9dd424e0e98197c8126580c46718c5363d210..a75da9b5d1f7be8645fb687e99bbc627fa102cf1 100644 (file)
--- a/frsh_fosa_opaque.h
+++ b/frsh_fosa_opaque.h
@@ -149,8 +149,7 @@ typedef pthread_mutex_t FOSA_MUTEX_T_OPAQUE;
 ////////////////////////// VIRTUAL TIME    //////////////////////////////////////
 
 #if defined(VIRTUAL_TIME)
-#include <fosa.h>
-#include <vt_ose.h>
+#include <fosa_vt.h>
 
 #define FOSA_THREAD_ID_T_OPAQUE   vt_posix_process_t