# HG changeset patch
# User Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
# Date 1401279352 -7200
# Node ID 8db0b8583615298b2017e2d905372681211a4104
# Parent  043120f071deb589e9c7c1abb026e74aded3b599
Do not print trailing whitespaces with ufl.m

diff -r 043120f071de -r 8db0b8583615 inst/ufl.m
--- a/inst/ufl.m	Fri May 23 11:41:17 2014 +0200
+++ b/inst/ufl.m	Wed May 28 14:15:52 2014 +0200
@@ -96,7 +96,8 @@
     error ("ufl: no open file");
   else
     if (is_valid_file_id (fid))
-      fprintf (fid, "%s ", varargin{:});
+      output = strtrim (sprintf ("%s ", varargin{:}));
+      fputs (fid, output);
       fprintf (fid, "\n");
     else
       error ("ufl: no open file");