diff options
Diffstat (limited to 'Build/source/texk/web2c/mplibdir/mp.w')
-rw-r--r-- | Build/source/texk/web2c/mplibdir/mp.w | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/mplibdir/mp.w b/Build/source/texk/web2c/mplibdir/mp.w index 427d1e17f71..099004e36c0 100644 --- a/Build/source/texk/web2c/mplibdir/mp.w +++ b/Build/source/texk/web2c/mplibdir/mp.w @@ -7659,6 +7659,14 @@ void mp_toss_knot (MP mp, mp_knot q) { q->next = mp->knot_nodes; mp->knot_nodes = q; mp->num_knot_nodes++; + if (mp->math_mode > mp_math_double_mode) { + free_number (q->x_coord); + free_number (q->y_coord); + free_number (q->left_x); + free_number (q->left_y); + free_number (q->right_x); + free_number (q->right_y); + } return; } if (mp->math_mode > mp_math_double_mode) { @@ -7667,6 +7675,8 @@ void mp_toss_knot (MP mp, mp_knot q) { mp_xfree (q); } } + + void mp_toss_knot_list (MP mp, mp_knot p) { mp_knot q; /* the node being freed */ mp_knot r; /* the next node */ |