summaryrefslogtreecommitdiff
path: root/src/parser/parser.i
blob: 55119be9a54da549b1ca7c0875c96769f3e94231 (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

%{
#include "parser/parser.h"
%}

namespace CVC4 {
  namespace parser {
    enum DeclarationCheck;
    enum SymbolType;
    %ignore operator<<(std::ostream&, DeclarationCheck);
    %ignore operator<<(std::ostream&, SymbolType);
  }/* namespace CVC4::parser */
}/* namespace CVC4 */

%include "parser/parser.h"
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback