danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-27 12:55:26 +01:00
Code Issues Projects Releases Wiki Activity

Fix bug

Browse Source
This commit is contained in:
Matt Brown 2020-10-07 12:04:54 -04:00
parent f655b97330
commit f49884a30d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Psalm/Internal/Analyzer/AlgebraAnalyzer.php
View File

@ -144,7 +144,7 @@ class AlgebraAnalyzer
$clause_b_string = (string) $clause_b;
if ($clause_a_string === $clause_b_string) {
$clause_a_string = 'Encountered a duplicate check for (' . $clause_a_string . ')';
$paradox_message = 'Encountered a duplicate check for (' . $clause_a_string . ')';
} else {
$paradox_message = 'Encountered a paradox when evaluating the conditionals ('
. $clause_a_string . ') and (' . $clause_b_string . ')';