diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-07 15:23:36 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-07 15:23:36 -0400 |
commit | 931b5641dfffcd3779239e014406aa057e21e0f7 (patch) | |
tree | cc37b63036dc8cd88af2c8cb1ac4511d0befbf17 /src/parser/tptp | |
parent | 6a329424666b4c4a6869dd7bcf9e7cfd69a219f5 (diff) |
Allow disabling include-file feature
Diffstat (limited to 'src/parser/tptp')
-rw-r--r-- | src/parser/tptp/tptp.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/parser/tptp/tptp.cpp b/src/parser/tptp/tptp.cpp index ab4ea14c4..93c2168b1 100644 --- a/src/parser/tptp/tptp.cpp +++ b/src/parser/tptp/tptp.cpp @@ -128,6 +128,11 @@ bool newInputStream(std::string fileName, pANTLR3_LEXER lexer){ void Tptp::includeFile(std::string fileName){ + // security for online version + if(!canIncludeFile()) { + parseError("include-file feature was disabled for this run."); + } + // Get the lexer AntlrInput * ai = static_cast<AntlrInput *>(getInput()); pANTLR3_LEXER lexer = ai->getAntlr3Lexer(); |