blob: 654fbfe32f2f3e7651e960a429a30d6e2f5b06fd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
/********************* -*- C++ -*- */
/** parser_state.cpp
** This file is part of the CVC4 prototype.
** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
** information.
**
** Parser state implementation.
**/
#include <string>
#include "parser/parser_state.h"
#include "parser/parser_exception.h"
namespace CVC4 {
namespace parser {
void ParserState::error(const std::string& s) throw(ParserException*) {
throw new ParserException(s);
}
}/* CVC4::parser namespace */
}/* CVC4 namespace */
|