# HG changeset patch
# User Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
# Date 1402836586 -7200
# Node ID f1c717e8a9713d5cfb6f8733ba429563d6c98d80
# Parent  e3f57f92fa667feb7321a038ee61caf9a052b6de
Delete UFL file after ufl.m closes and imports it

diff -r e3f57f92fa66 -r f1c717e8a971 inst/ufl.m
--- a/inst/ufl.m	Sat Jun 14 15:27:43 2014 +0200
+++ b/inst/ufl.m	Sun Jun 15 14:49:46 2014 +0200
@@ -98,6 +98,7 @@
       compile = validatestring (varargin{2}, opts, "ufl", "content");
     endif
     eval (["import_ufl_", compile, "(\"", filename(1:end-4), "\");"]);
+    delete (filename);
     filename = "default.ufl";
   elseif (! is_valid_file_id (fid))
     error ("ufl: no open file");