Commit 72fd3e30 authored by nr@eecs.harvard.edu's avatar nr@eecs.harvard.edu
Browse files

overlooked ZipCfgExtras for a name change

parent 9259deb8
...@@ -51,11 +51,11 @@ exit g@(LGraph eid _) = FGraph eid (ZBlock h (ZLast l)) others ...@@ -51,11 +51,11 @@ exit g@(LGraph eid _) = FGraph eid (ZBlock h (ZLast l)) others
splice_focus_entry (FGraph eid (ZBlock head tail) blocks) g = splice_focus_entry (FGraph eid (ZBlock head tail) blocks) g =
let (tail', g') = splice_tail g tail in let (tail', g') = splice_tail g tail in
FGraph eid (ZBlock head tail') (plusUFM (gr_blocks g') blocks) FGraph eid (ZBlock head tail') (plusUFM (lg_blocks g') blocks)
splice_focus_exit (FGraph eid (ZBlock head tail) blocks) g = splice_focus_exit (FGraph eid (ZBlock head tail) blocks) g =
let (g', head') = splice_head head g in let (g', head') = splice_head head g in
FGraph eid (ZBlock head' tail) (plusUFM (gr_blocks g') blocks) FGraph eid (ZBlock head' tail) (plusUFM (lg_blocks g') blocks)
-- | Fold from first to last -- | Fold from first to last
fold_fwd_block :: fold_fwd_block ::
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment