Skip to content

Commit

Permalink
closes #3
Browse files Browse the repository at this point in the history
  • Loading branch information
vale1410 committed Apr 3, 2021
1 parent 499c01a commit 96eded0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion grounder/ground.go
Original file line number Diff line number Diff line change
Expand Up @@ -960,7 +960,7 @@ func assign(term Term, assignment map[string]string) (Term, bool, error) {
// Must be symbol before and after that makes makes this change
if (index == 0 || strings.ContainsAny(xx[index-1:index], dividerSet)) &&
(index+len(variable) == len(xx) || strings.ContainsAny(xx[index+len(variable):index+len(variable)+1], dividerSet)) {
acc.WriteString(xx[:index] + val)
acc.WriteString(xx[:index] + "(" + val + ")")
xx = xx[index+len(variable):]
} else {
acc.WriteString(xx[:index+len(variable)])
Expand Down

0 comments on commit 96eded0

Please sign in to comment.