matplotlib
diff --git a/‎lib/matplotlib/backends/backend_pdf.py
Lines changed: 2 additions & 3 deletions b/‎lib/matplotlib/backends/backend_pdf.py
Lines changed: 2 additions & 3 deletions
@@ -1845,9 +1845,8 @@ def draw_tex(self, gc, x, y, s, prop, angle, ismath='TeX!', mtext=None):
         texmanager = self.get_texmanager()
         fontsize = prop.get_size_in_points()
         dvifile = texmanager.make_dvi(s, fontsize)
-        dvi = dviread.Dvi(dvifile, 72)
-        page = six.next(iter(dvi))
-        dvi.close()
+        with dviread.Dvi(dvifile, 72) as dvi:
+            page = six.next(iter(dvi))
 
         # Gather font information and do some setup for combining
         # characters into strings. The variable seq will contain a