diff options
| -rw-r--r-- | backendC/CleanCompilerSources/sa.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/backendC/CleanCompilerSources/sa.c b/backendC/CleanCompilerSources/sa.c index d71a500..ca777d4 100644 --- a/backendC/CleanCompilerSources/sa.c +++ b/backendC/CleanCompilerSources/sa.c @@ -4267,10 +4267,7 @@ static MatchKind MatchAlternative (Exp *ep,Exp *args_act,Exp *args_for,Alts alt, case InfiniteMatch: if (new_e==NULL) new_e=⊥ - if (m==TotalMatch) - m=InfiniteMatch; - else - m=PartialInfiniteMatch; + m=PartialMatch; break; case PartialMatch: new_e=TakeContextLub (&new_e,&next_e,p,context); |