Skip to content

Commit

Permalink
[mmzk] (feat) Slight modification
Browse files Browse the repository at this point in the history
  • Loading branch information
MMZK1526 committed Dec 1, 2023
1 parent 01417f5 commit 4d79db9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/models/lambda_data.dart
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ class LambdaData {
var curStep = 0;
Lambda? curLambda = baseLambda;

while (curLambda != null && (maxSteps == null || curStep < maxSteps)) {
while (curLambda != null && (maxSteps == null || curStep <= maxSteps)) {
lambdas!.add(curLambda.toString());
curLambda = curLambda.eval1(evalType: evaluationType);
curStep += 1;
Expand Down

0 comments on commit 4d79db9

Please sign in to comment.