diff options
| -rw-r--r-- | src/core/platform.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/core/platform.h b/src/core/platform.h index 7b39ac8b..15ef6843 100644 --- a/src/core/platform.h +++ b/src/core/platform.h @@ -60,9 +60,9 @@ extern void *nni_alloc(size_t); // Most implementations can just call free() here. extern void nni_free(void *, size_t); -typedef struct nni_plat_mtx nni_plat_mtx; -typedef struct nni_plat_cv nni_plat_cv; -typedef struct nni_plat_thr nni_plat_thr; +typedef struct nni_plat_mtx nni_plat_mtx; +typedef struct nni_plat_cv nni_plat_cv; +typedef struct nni_plat_thr nni_plat_thr; // Mutex handling. |