diff --git a/src/search/merge_and_shrink/merge_scoring_function_dfp.cc b/src/search/merge_and_shrink/merge_scoring_function_dfp.cc index 29974d26de..3115d4341e 100644 --- a/src/search/merge_and_shrink/merge_scoring_function_dfp.cc +++ b/src/search/merge_and_shrink/merge_scoring_function_dfp.cc @@ -106,7 +106,7 @@ class MergeScoringFunctionDFPFeature MergeScoringFunctionDFPFeature() : TypedFeature("dfp") { document_title("DFP scoring"); document_synopsis( - "This scoring function computes the 'DFP' score as descrdibed in the " + "This scoring function computes the 'DFP' score as described in the " "paper \"Directed model checking with distance-preserving abstractions\" " "by Draeger, Finkbeiner and Podelski (SPIN 2006), adapted to planning in " "the following paper:" + utils::format_conference_reference(