find_resource/commit

Fix unquoted comma atom issues now swipl has more strict parsing

authorJacco van Ossenbruggen
Fri Jul 1 16:07:30 2022 +0200
committerJacco van Ossenbruggen
Fri Jul 1 16:07:30 2022 +0200
commitb9d5496e0bca841a9d72576d995affe2f1220696
tree4df2a0b3431761e262f323ec7732b7ce8ccfece7
parentb6b957eafe709674b7b3da9d8e5060bfaa886991
Diff style: patch stat
diff --git a/lib/find_resource.pl b/lib/find_resource.pl
index 252b576..358bab1 100644
--- a/lib/find_resource.pl
+++ b/lib/find_resource.pl
@@ -271,10 +271,10 @@ cheapest_edit_path(Toks1, Toks2, Distance, Path) :-
 	get_array(Array, M, N, c(Distance, Path0)),
 	reverse(Path0, Path).
 
-ins_cost((,), 1) :- !.
+ins_cost((','), 1) :- !.
 ins_cost(_, 8).
 
-del_cost((,), 1) :- !.
+del_cost((','), 1) :- !.
 del_cost(_, 10).
 
 same_stem(T1, T2) :-