# HG changeset patch
# User Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
# Date 1400751824 -7200
# Node ID a108a0bfe20158a8cd290c311979a33c54fb11c8
# Parent  8b159045242ff7ffbbcae294c4438d62e265845b
Ensure that ufl opens a file with .ufl extension

  * inst/ufl.m: force lower case extension

diff -r 8b159045242f -r a108a0bfe201 inst/ufl.m
--- a/inst/ufl.m	Wed May 21 18:16:05 2014 +0200
+++ b/inst/ufl.m	Thu May 22 11:43:44 2014 +0200
@@ -44,6 +44,8 @@
         filename = varargin{2};
         if (isempty (regexpi (filename, ".ufl$", "match")))
           filename = [filename, ".ufl"];
+        else
+          filename = [filename(1:end-4), ".ufl"];
         endif
       endif
       [~, err, ~] = stat (filename);