FIXED: merge_options(+Dict, +List, Merged)

Resulted in no matching rule exception.
SWI-Prolog · Dec 9, 2024 · 3c7f96a · 3c7f96a
1 parent 4bdb135
commit 3c7f96a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/library/option.pl b/library/option.pl
@@ -221,6 +221,10 @@
     is_dict(OldDict) =>
     dict_options(NewDict, New),
     put_dict(NewDict, OldDict, Dict).
+merge_options(NewDict, OldList, List),
+    is_dict(NewDict) =>
+    dict_options(NewDict, NewList),
+    merge_option_lists(NewList, OldList, List).
 merge_options(NewList, OldList, List),
     is_list(NewList), is_list(OldList) =>
     merge_option_lists(NewList, OldList, List).