Skip to content

Commit

Permalink
Fix space
Browse files Browse the repository at this point in the history
  • Loading branch information
muglug committed Aug 1, 2021
1 parent a205a23 commit 00c0622
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -1047,7 +1047,7 @@ function ($lower_bound) {

$equality_types = array_unique(
array_map(
function($bound_with_equality) {
function ($bound_with_equality) {
return $bound_with_equality->type->getId();
},
$bounds_with_equality
Expand Down

0 comments on commit 00c0622

Please sign in to comment.