smt-lang 0.7.5

extern crate lalrpop;

fn main() {
    lalrpop::process_root().unwrap();
}