← Back to branch summary

~peter-gjoel/verifytapn/verifytapn

« back to all changes in this revision

Viewing changes to src/Core/ArgsParser.hpp

  • Committer: Jiri Srba
  • Date: 2011-10-08 16:54:58 UTC
  • Revision ID: srba@cs.aau.dk-20111008165458-ejai4rxydpv0w7j5
changed version number to 1.0.2

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/Core/ArgsParser.hpp
80
80
        class ArgsParser {
81
81
                typedef std::vector< boost::shared_ptr<Switch> > parser_vec;
82
82
        public:
83
 
                ArgsParser() : parsers(), version(1,0,1) { Initialize(); };
 
83
                ArgsParser() : parsers(), version(1,0,2) { Initialize(); };
84
84
                virtual ~ArgsParser() {};
85
85
 
86
86
                VerificationOptions Parse(int argc, char* argv[]) const;