SG_BEGIN_DECL()
- /* Get the PID of the current process */
- XBT_PUBLIC_DATA(int_f_void_t) xbt_getpid;
+ /* Get the PID of the current process */
+ XBT_PUBLIC_DATA(int_f_void_t) xbt_getpid;
SG_END_DECL()
-#endif /* __XBT_VIRTU_H__ */
+#endif /* __XBT_VIRTU_H__ */