From 20e5f81b884bb358fbc0b0b8fe30740986944c3a Mon Sep 17 00:00:00 2001 From: Martin Suda Date: Sun, 5 Jan 2025 09:13:58 +0100 Subject: [PATCH] typo --- Kernel/MainLoop.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kernel/MainLoop.cpp b/Kernel/MainLoop.cpp index 6ac0e5434f..9ff78b4631 100644 --- a/Kernel/MainLoop.cpp +++ b/Kernel/MainLoop.cpp @@ -104,7 +104,7 @@ MainLoop* MainLoop::createFromOptions(Problem& prb, const Options& opt) switch (opt.saturationAlgorithm()) { case Options::SaturationAlgorithm::FINITE_MODEL_BUILDING: if(env.getMainProblem()->hasPolymorphicSym() || env.getMainProblem()->isHigherOrder()){ - USER_ERROR("Finite model buillding is currently not compatible with polymorphism or higher-order constructs"); + USER_ERROR("Finite model building is currently not compatible with polymorphism or higher-order constructs"); } if(env.options->outputMode() == Shell::Options::Output::UCORE){ USER_ERROR("Finite model building is not compatible with producing unsat cores");