File tree Expand file tree Collapse file tree 2 files changed +4
-3
lines changed Expand file tree Collapse file tree 2 files changed +4
-3
lines changed Original file line number Diff line number Diff line change @@ -875,6 +875,10 @@ StepResult ConjunctionStep::resume(bool prevFailed) {
875
875
// attempted to apply information gained from the
876
876
// isolated constraint to the outer context.
877
877
if (Snapshot && Snapshot->isScoped ()) {
878
+ Snapshot.reset ();
879
+ if (CS.isDebugMode ())
880
+ getDebugLogger () << " )\n " ;
881
+
878
882
return done (/* isSuccess=*/ !prevFailed);
879
883
}
880
884
Original file line number Diff line number Diff line change @@ -999,9 +999,6 @@ class ConjunctionStep : public BindingStep<ConjunctionElementProducer> {
999
999
auto remainingTime = OuterTimeRemaining->second ;
1000
1000
CS.Timer .emplace (anchor, CS, remainingTime);
1001
1001
}
1002
-
1003
- if (CS.isDebugMode ())
1004
- getDebugLogger () << " )\n " ;
1005
1002
}
1006
1003
1007
1004
StepResult resume (bool prevFailed) override ;
You can’t perform that action at this time.
0 commit comments