Merge commit '7937c47'

[simgrid.git] / include / xbt / automaton.h

diff --git a/include/xbt/automaton.h b/include/xbt/automaton.h
index cbf5f32d430645af05a98357f97ada4c4850b73a..90af851f0bf85e6ca42a36faf838fc33295c8f70 100644 (file)
--- a/include/xbt/automaton.h
+++ b/include/xbt/automaton.h
@@ -114,4 +114,16 @@ XBT_PUBLIC(void) xbt_automaton_propositional_symbol_free_voidp(void *ps);
 XBT_PUBLIC(void) xbt_automaton_free(xbt_automaton_t a);
 
 SG_END_DECL()
+
+#ifdef __cplusplus
+namespace simgrid {
+namespace xbt {
+  inline void destroy(xbt_automaton_t a)
+  {
+    xbt_automaton_free(a);
+  }
+}
+}
+#endif
+
 #endif