Skip to content

Commit

Permalink
FIXED: не работала проверка на целые переменные (#231)
Browse files Browse the repository at this point in the history
  • Loading branch information
Mazdaywik authored and Mikhail Apakhov committed May 25, 2021
1 parent ce953b8 commit 8b6204e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/compiler/OptTree-Drive-Expr.ref
Original file line number Diff line number Diff line change
Expand Up @@ -707,7 +707,7 @@ SafeContractions {
(e.WholeVars-B (s.Mode e.Index) e.WholeVars-E)
= False;

e.Solutions (e.WholeVars) = False;
e.Solutions (e.WholeVars) = True;
}

DropLeft {
Expand Down

0 comments on commit 8b6204e

Please sign in to comment.