--- 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;