typo

vprover · Jan 5, 2025 · 20e5f81 · 20e5f81
1 parent ab69e49
commit 20e5f81
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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");