max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(compiler/preprocess_rec): do not type check after erase_irrelevant

Browse source
This commit is contained in:
Leonardo de Moura 2016-05-07 16:39:34 -07:00
parent 42af7c2a67
commit 49ff96ae8c
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/compiler/preprocess_rec.cpp
View file

@ -127,12 +127,12 @@ public:
procs.emplace_back(d.get_name(), d.get_value());
}
procs.emplace_back(d.get_name(), v);
check(d, procs.back().second);
erase_irrelevant(procs);
display(procs);
// TODO(Leo)
check(d, procs.back().second);
}
};