[patch] micro-optimization when reading the symbols file

[Enrico Forestieri]

The attached patch avoids unnecessary processing of empty lines when
reading the symbols file. It is obviously correct so I am going to
commit it.

-- 
Enrico

Index: src/mathed/MathFactory.C
===================================================================
--- src/mathed/MathFactory.C    (revision 15958)
+++ src/mathed/MathFactory.C    (working copy)
@@ -124,7 +124,7 @@ void initSymbols()
        while (getline(fs, line)) {
                int charid     = 0;
                int fallbackid = 0;
-               if (!line.empty() && line[0] == '#')
+               if (line.empty() || line[0] == '#')
                        continue;
 
                // special case of iffont/else/endif