find_resource/commit
Fix unquoted comma atom issues now swipl has more strict parsing
author | Jacco van Ossenbruggen |
---|---|
Fri Jul 1 16:07:30 2022 +0200 | |
committer | Jacco van Ossenbruggen |
Fri Jul 1 16:07:30 2022 +0200 | |
commit | b9d5496e0bca841a9d72576d995affe2f1220696 |
tree | 4df2a0b3431761e262f323ec7732b7ce8ccfece7 |
parent | b6b957eafe709674b7b3da9d8e5060bfaa886991 |
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) :-