summaryrefslogtreecommitdiff
path: root/mi
diff options
context:
space:
mode:
authorMura Li <mura_li@castech.com.tw>2020-04-22 11:37:59 +0000
committerOri Bernstein <ori@eigenstate.org>2020-05-05 20:33:19 -0700
commit6565eb50cfcc4e11ed5e350cdae30dc861dc0a8e (patch)
tree1fba8d003b269228e374206052978c6787e2a30c /mi
parent83fea560c31e90807d9a2fa25a749027812ea17f (diff)
downloadmc-6565eb50cfcc4e11ed5e350cdae30dc861dc0a8e.tar.gz
Use /**/ instead of //
Diffstat (limited to 'mi')
-rw-r--r--mi/match.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/mi/match.c b/mi/match.c
index ca3f9d0..b8e2a44 100644
--- a/mi/match.c
+++ b/mi/match.c
@@ -941,7 +941,7 @@ gendtree(Node *m, Node *val, Node **lbl, size_t nlbl)
genfrontier(i, val, pat[i]->match.pat, lbl[i], &frontier, &nfrontier);
}
- // to determine if two different sets of captures come from a or-pattern, which is NOT allowed.
+ /* to determine if two different sets of captures come from a or-pattern, which is NOT allowed. */
last = NULL;
for (i = 0; i < nfrontier; i++) {
cur = frontier[i];