Skip to content

Commit

Permalink
Improve checks for double-printing values
Browse files Browse the repository at this point in the history
  • Loading branch information
rliebz committed Jan 27, 2024
1 parent afbbe7f commit f7cc441
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion be/ordered.go
Original file line number Diff line number Diff line change
Expand Up @@ -125,7 +125,7 @@ func LessOrEqual[T constraints.Ordered](a, b T) ghost.Result {
func inline(val any, arg string) string {
switch val := val.(type) {
case string:
if fmt.Sprintf("%q", val) == arg {
if val == arg || fmt.Sprintf("%q", val) == arg {
return arg
}
return fmt.Sprintf("%v (%q)", arg, val)
Expand Down

0 comments on commit f7cc441

Please sign in to comment.