michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(init): initialization problem

Browse source
This commit is contained in:
Leonardo de Moura 2014-10-18 09:01:24 -07:00
parent 2369388629
commit f76c5bbde9
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/init/init.cpp
View file

@ -26,10 +26,10 @@ void initialize() {
initialize_sexpr_module(); initialize_sexpr_module();
initialize_kernel_module(); initialize_kernel_module();
initialize_inductive_module(); initialize_inductive_module();
init_default_print_fn();
initialize_library_module(); initialize_library_module();
initialize_tactic_module(); initialize_tactic_module();
initialize_frontend_lean_module(); initialize_frontend_lean_module();
init_default_print_fn();
register_modules(); register_modules();
} }
void finalize() { void finalize() {