diff --git a/pl/init.yap b/pl/init.yap index ab9d50fac..4c3e0a745 100644 --- a/pl/init.yap +++ b/pl/init.yap @@ -204,6 +204,8 @@ yap_hacks:cut_by(CP) :- '$$cut_by'(CP). :- multifile user:exception/3. +:- dynamic user:exception/3. + file_search_path(library, Dir) :- library_directory(Dir). file_search_path(commons, Dir) :-