aboutsummaryrefslogtreecommitdiffstats
path: root/dfa.c
diff options
context:
space:
mode:
Diffstat (limited to 'dfa.c')
-rw-r--r--dfa.c14
1 files changed, 7 insertions, 7 deletions
diff --git a/dfa.c b/dfa.c
index eae72721..9ff3d60f 100644
--- a/dfa.c
+++ b/dfa.c
@@ -1969,7 +1969,7 @@ dfaparse (char const *s, size_t len, struct dfa *d)
/* Copy one set to another. */
static void
-copy (position_set const *src, position_set * dst)
+copy (position_set const *src, position_set *dst)
{
if (dst->alloc < src->nelem)
{
@@ -1982,7 +1982,7 @@ copy (position_set const *src, position_set * dst)
}
static void
-alloc_position_set (position_set * s, size_t size)
+alloc_position_set (position_set *s, size_t size)
{
s->elems = xnmalloc (size, sizeof *s->elems);
s->alloc = size;
@@ -1994,7 +1994,7 @@ alloc_position_set (position_set * s, size_t size)
then merge (logically-OR) P's constraints into the one in S.
S->elems must point to an array large enough to hold the resulting set. */
static void
-insert (position p, position_set * s)
+insert (position p, position_set *s)
{
size_t count = s->nelem;
size_t lo = 0, hi = count;
@@ -2024,7 +2024,7 @@ insert (position p, position_set * s)
/* Merge two sets of positions into a third. The result is exactly as if
the positions of both sets were inserted into an initially empty set. */
static void
-merge (position_set const *s1, position_set const *s2, position_set * m)
+merge (position_set const *s1, position_set const *s2, position_set *m)
{
size_t i = 0, j = 0;
@@ -2053,7 +2053,7 @@ merge (position_set const *s1, position_set const *s2, position_set * m)
/* Delete a position from a set. */
static void
-delete (position p, position_set * s)
+delete (position p, position_set *s)
{
size_t i;
@@ -2632,8 +2632,8 @@ dfastate (state_num s, struct dfa *d, state_num trans[])
prtok (d->tokens[pos.index]);
fprintf (stderr, " of");
for (j = 0; j < NOTCHAR; j++)
- if (tstbit (j, matches))
- fprintf (stderr, " 0x%02zx", j);
+ if (tstbit (j, matches))
+ fprintf (stderr, " 0x%02zx", j);
fprintf (stderr, "\n");
#endif