From 4ff710b709eab809d0bc1c7b1b4c31458dd31d2d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 11 Jun 2018 10:40:09 -0700 Subject: [PATCH] fix(kernel/old_type_checker): assertion violation --- src/kernel/old_type_checker.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/kernel/old_type_checker.cpp b/src/kernel/old_type_checker.cpp index faff9b3cc8..f480017e2d 100644 --- a/src/kernel/old_type_checker.cpp +++ b/src/kernel/old_type_checker.cpp @@ -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); }