set_orin(&a, b);\r
set_free(b);\r
}\r
- set_free(rk); /* this has no members, but free it's memory */\r
+ set_free(rk); /* this has no members, but free its memory */\r
set_orin(rk_out, rk2); /* remember what we couldn't do */\r
set_free(rk2);\r
if (MR_MaintainBackTrace) MR_pointerStackPop(&MR_BackTraceStack);\r
long n;\r
int thisOverflow=0; /* MR9 */\r
long set_deg_value; /* MR10 */\r
- long threshhold; /* MR10 */\r
+ long threshold; /* MR10 */\r
\r
require(block!=NULL, "NULL block");\r
require(block->ntype==nJunction, "invalid block");\r
b = set_and(alt1->fset[i], alt2->fset[i]);\r
/* MR9 */ set_deg_value = set_deg(b);\r
/* MR10 */ if (n > 0) {\r
-/* MR10 */ threshhold = LONG_MAX / n;\r
-/* MR10 */ if (set_deg_value <= threshhold) {\r
+/* MR10 */ threshold = LONG_MAX / n;\r
+/* MR10 */ if (set_deg_value <= threshold) {\r
/* MR10 */ n *= set_deg_value;\r
/* MR10 */ } else {\r
/* MR10 */ n=LONG_MAX;\r