*/
#include <getopt.h>
-
#include <fstream>
+#include <cassert>
#include "dom.hh"
#include "TPushParser.hh"
printHelp();
}
-void
+int
main(int argc, char* argv[])
{
CLoggerConsole logger;
if (optind < argc)
{
- ifstream file(argv[optind]);
+ std::ifstream file(argv[optind]);
if (!file)
{
std::cerr << "can't open input file `" << argv[optind] << "'" << std::endl;