From 5ad494e781908ce0661b28c9ca39d8c1e7f0918c Mon Sep 17 00:00:00 2001
From: Michael Rawson <michael@rawsons.uk>
Date: Fri, 14 Jun 2024 14:05:27 +0100
Subject: [PATCH] CASC modes imply --input_syntax tptp

---
 vampire.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/vampire.cpp b/vampire.cpp
index 65de64868..75198e656 100644
--- a/vampire.cpp
+++ b/vampire.cpp
@@ -562,6 +562,7 @@ void dispatchByMode(Problem* problem)
   case Options::Mode::CASC:
     env.options->setIgnoreMissing(Options::IgnoreMissing::WARN);
     env.options->setSchedule(Options::Schedule::CASC);
+    env.options->setInputSyntax(Options::InputSyntax::TPTP);
     env.options->setOutputMode(Options::Output::SZS);
     env.options->setProof(Options::Proof::TPTP);
     env.options->setOutputAxiomNames(true);
@@ -576,6 +577,7 @@ void dispatchByMode(Problem* problem)
   case Options::Mode::CASC_HOL: {
     env.options->setIgnoreMissing(Options::IgnoreMissing::WARN);
     env.options->setSchedule(Options::Schedule::CASC_HOL_2020);
+    env.options->setInputSyntax(Options::InputSyntax::TPTP);
     env.options->setOutputMode(Options::Output::SZS);
     env.options->setProof(Options::Proof::TPTP);
     env.options->setOutputAxiomNames(true);
@@ -588,6 +590,7 @@ void dispatchByMode(Problem* problem)
   case Options::Mode::CASC_SAT:
     env.options->setIgnoreMissing(Options::IgnoreMissing::WARN);
     env.options->setSchedule(Options::Schedule::CASC_SAT);
+    env.options->setInputSyntax(Options::InputSyntax::TPTP);
     env.options->setOutputMode(Options::Output::SZS);
     env.options->setProof(Options::Proof::TPTP);
     env.options->setOutputAxiomNames(true);