simplify xdot_begin_anchor with agxbprint

diff --git a/plugin/core/gvrender_core_dot.c b/plugin/core/gvrender_core_dot.c
index 21638fce2dbf86bef378e345e077ab019b76b9b3..293823025fd7580387fabfc6013d81269ea4297c 100644 (file)
--- a/plugin/core/gvrender_core_dot.c
+++ b/plugin/core/gvrender_core_dot.c
@@ -321,7 +321,6 @@ static void xdot_end_edge(GVJ_t* job)
 static void xdot_begin_anchor(GVJ_t * job, char *href, char *tooltip, char *target, char *id)
 {
     emit_state_t emit_state = job->obj->emit_state;
-    char buf[3];  /* very small integer */
     unsigned int flags = 0;
 
     agxbput(xbufs[emit_state], "H ");
@@ -331,8 +330,7 @@ static void xdot_begin_anchor(GVJ_t * job, char *href, char *tooltip, char *targ
        flags |= 2;
     if (target)
        flags |= 4;
-    sprintf (buf, "%d ", flags);
-    agxbput(xbufs[emit_state], buf);
+    agxbprint(xbufs[emit_state], "%d ", flags);
     if (href)
        xdot_str (job, "", href);
     if (tooltip)