[trivial] Fix typo.

jendrikseipp · Nov 19, 2024 · c7d6a4d · c7d6a4d
1 parent 6e708b8
commit c7d6a4d
Showing 1 changed file with 1 addition and 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
@@ -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(