Change initialize a bit

[c11tester.git] / include / modeltypes.h

diff --git a/include/modeltypes.h b/include/modeltypes.h
index 34525d2c8e1abc1aaeba97d53d3bbb0bc3808bd3..c60f0a85d16e9fb20fb02cd7dee63c3e4724eede 100644 (file)
--- a/include/modeltypes.h
+++ b/include/modeltypes.h
@@ -21,8 +21,8 @@
  */
 typedef int thread_id_t;
 
-#define THREAD_ID_T_NONE       -1
+#define THREAD_ID_T_NONE        -1
 
 typedef unsigned int modelclock_t;
 
-#endif /* __MODELTYPES_H__ */
+#endif /* __MODELTYPES_H__ */