diff -r 5f0610aafc48 -r 7689f81f8996 src/Pure/Tools/codegen_thingol.ML --- a/src/Pure/Tools/codegen_thingol.ML Tue Mar 21 12:18:06 2006 +0100 +++ b/src/Pure/Tools/codegen_thingol.ML Tue Mar 21 12:18:07 2006 +0100 @@ -514,8 +514,8 @@ val preds_ = Graph.imm_preds modl key; val succs_ = Graph.imm_succs modl key; val mutbs = gen_inter (op =) (preds_, succs_); - val preds = fold (remove (op =)) mutbs preds_; - val succs = fold (remove (op =)) mutbs succs_; + val preds = subtract (op =) mutbs preds_; + val succs = subtract (op =) mutbs succs_; in (Pretty.block o Pretty.fbreaks) ( Pretty.str key @@ -1116,4 +1116,4 @@ end; (* struct *) -structure BasicCodegenThingol: BASIC_CODEGEN_THINGOL = CodegenThingol; \ No newline at end of file +structure BasicCodegenThingol: BASIC_CODEGEN_THINGOL = CodegenThingol;