From 112229271150e64f6ff7099f8a8c631f1c834dc8 Mon Sep 17 00:00:00 2001 From: Yuichi Nishiwaki Date: Mon, 25 Aug 2014 16:44:44 +0900 Subject: [PATCH] remove default library loader --- init.c | 6 ------ 1 file changed, 6 deletions(-) diff --git a/init.c b/init.c index 0d345a01..1dda4964 100644 --- a/init.c +++ b/init.c @@ -63,9 +63,6 @@ void pic_init_dict(pic_state *); void pic_init_record(pic_state *); void pic_init_eval(pic_state *); void pic_init_lib(pic_state *); -void pic_init_contrib(pic_state *); - -void pic_load_piclib(pic_state *); #define DONE pic_gc_arena_restore(pic, ai); @@ -117,8 +114,5 @@ pic_init_core(pic_state *pic) pic_init_record(pic); DONE; pic_init_eval(pic); DONE; pic_init_lib(pic); DONE; - - pic_load_piclib(pic); DONE; - pic_init_contrib(pic); DONE; } }