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

fix(kernel/old_type_checker): assertion violation

Browse source
This commit is contained in:
Leonardo de Moura 2018-06-11 10:40:09 -07:00
parent d2efeca70c
commit 4ff710b709
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/kernel/old_type_checker.cpp
View file

@ -711,7 +711,7 @@ old_type_checker::~old_type_checker() {}
void initialize_old_type_checker() {
g_id_delta = new name("id_delta");
g_dont_care = new expr(Const("dontcare"));
g_kernel_fresh = new name("_kernel_fresh");
g_kernel_fresh = new name("_old_kernel_fresh");
register_name_generator_prefix(*g_kernel_fresh);
}