X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fabt.h;h=f0a412773a0938b7348c75b1793e1e1f88ff8583;hb=96994a54e60e9c95b8bba54c2281acf7059b1203;hp=fced0179ae6a71c688c49d0c061721fe06ad29d9;hpb=369c24f1d085a41ec274ebae5fc198fcee567653;p=pspp

diff --git a/src/libpspp/abt.h b/src/libpspp/abt.h
index fced0179ae..f0a412773a 100644
--- a/src/libpspp/abt.h
+++ b/src/libpspp/abt.h
@@ -121,7 +121,7 @@
      find_by_position (struct abt *abt, int position)
      {
        struct abt_node *p;
-       for (p = abt->root; p != NULL; )
+       for (p = abt->root; p != NULL;)
          {
            int p_pos = p->down[0] ? node_to_element (p->down[0])->count : 0;
            if (position == p_pos)