* 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 *)
(* 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