aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--FICS/formula.c35
1 files changed, 18 insertions, 17 deletions
diff --git a/FICS/formula.c b/FICS/formula.c
index 0a06026..516534b 100644
--- a/FICS/formula.c
+++ b/FICS/formula.c
@@ -462,24 +462,25 @@ PRIVATE int ChooseClauses(player *who, char *formula)
return ret;
} /* end of function ChooseClauses. */
-void ExplainFormula (game *g, textlist **clauses)
+void
+ExplainFormula(game *g, textlist **clauses)
{
- int i, which, dummy_index, value;
- char txt[20];
- player *challenged = &parray[g->black];
- textlist **Cur = clauses;
-
- which = ChooseClauses(challenged, challenged->formula);
-
- for (i = 0; i < MAX_FORMULA; i++) {
- if ((which & (1 << i)) == 0)
- continue;
- dummy_index = 0;
- CheckFormula (g, i, &dummy_index, OPTYPE_NONE, &value, 1);
- sprintf(txt, "%d", value);
- SaveTextListEntry (Cur, txt, i);
- Cur = &(*Cur)->next;
- }
+ char txt[20];
+ int i, which, dummy_index, value;
+ player *challenged = &parray[g->black];
+ textlist **Cur = clauses;
+
+ which = ChooseClauses(challenged, challenged->formula);
+
+ for (i = 0; i < MAX_FORMULA; i++) {
+ if ((which & (1 << i)) == 0)
+ continue;
+ dummy_index = 0;
+ CheckFormula(g, i, &dummy_index, OPTYPE_NONE, &value, 1);
+ sprintf(txt, "%d", value);
+ SaveTextListEntry(Cur, txt, i);
+ Cur = &(*Cur)->next;
+ }
}
/*