summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMura Li <mura_li@castech.com.tw>2020-04-23 01:38:56 +0000
committerOri Bernstein <ori@eigenstate.org>2020-05-05 20:33:19 -0700
commit6e944f5fe207cd0294eaa4cd023533771fd403d8 (patch)
treecb62577b0fbb6fee3b7ef5b39d44962ace553187
parent6565eb50cfcc4e11ed5e350cdae30dc861dc0a8e (diff)
downloadmc-6e944f5fe207cd0294eaa4cd023533771fd403d8.tar.gz
Remove unneeded check
-rw-r--r--mi/match.c3
1 files changed, 1 insertions, 2 deletions
diff --git a/mi/match.c b/mi/match.c
index b8e2a44..d6275ff 100644
--- a/mi/match.c
+++ b/mi/match.c
@@ -459,8 +459,7 @@ addrec(Frontier *fs, Node *pat, Node *val, Path *path)
switch (exprop(pat)) {
case Olor:
next = frontierdup(fs);
- if (fs->next)
- next->next = fs->next;
+ next->next = fs->next;
fs->next = next;
addrec(fs, pat->expr.args[1], val, path);
addrec(next, pat->expr.args[0], val, path);