Commit 2aa37697 authored by Jeff Smits's avatar Jeff Smits

Forgot important part

parent 85b2d65f
......@@ -5,7 +5,7 @@
//! obvious inefficiencies that were easy to do in a general purpose language. In particular, this
//! program will a light-weight symbolic execution (no function call support) to find aliases; these
//! aliases are removed which results in less matches and builds on single variables that just moves
//! terms around without progressing.
//! terms around without progressing.
extern crate structopt;
#[macro_use]
extern crate structopt_derive;
......@@ -270,6 +270,9 @@ impl<'s> CTreeOptimize for preprocess::Strategy<'s> {
// that we can eliminate
if c.0.is_some() {
return Strategy::Id;
} else {
// Otherwise the current is now a known binding
c.0 = Some(v);
}
}
}
......
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