X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/a22c187b7b983dad6b0e2c34cd0ab74e95c2411b..2a0307b3c1b24fd9b8d2256fe9bb5d8800f1c3f0:/src/parse.sml diff --git a/src/parse.sml b/src/parse.sml index 5a5ce3f..00fefca 100644 --- a/src/parse.sml +++ b/src/parse.sml @@ -14,7 +14,7 @@ * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. -*) + *) (* Domtool configuration language parser *) @@ -29,7 +29,7 @@ structure Parse :> PARSE = (* The main parsing routine *) fun parse filename = - let val _ = (ErrorMsg.reset(); ErrorMsg.fileName := filename) + let val _ = (ErrorMsg.fileName := filename) val file = TextIO.openIn filename fun get _ = TextIO.input file fun parseerror(s,p1,p2) = ErrorMsg.error (SOME (p1,p2)) s