From c7d6a4d87a10a4c2857285c3b49a14e8d18717a2 Mon Sep 17 00:00:00 2001 From: Jendrik Seipp Date: Tue, 19 Nov 2024 14:31:39 +0100 Subject: [PATCH] [trivial] Fix typo. --- src/search/merge_and_shrink/merge_scoring_function_dfp.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 29974d26d..3115d4341 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(