FIXED: не работала проверка на целые переменные (#231)

bmstu-iu9 · May 15, 2021 · e1a0b31 · e1a0b31
1 parent eaa25b3
commit e1a0b31
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/compiler/OptTree-Drive-Expr.ref b/src/compiler/OptTree-Drive-Expr.ref
@@ -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 {