FIXED: Preserve table properties on reconsult.

Reported by Jan Burse.

src/Tests/unprotected/reload/keep_tabling.pl

@@ -0,0 +1,14 @@
+:- table p/2.
+
+p(A,A).
+p(A,C) :- p(A,B), e(B, C).
+e(a,b).
+e(b,c).
+%%%%%%%%%%%%%%%%
+:- table p/2.
+
+p(A,A).
+p(A,C) :- p(A,B), e(B, C).
+e(a,b).
+e(b,c).
+

src/Tests/unprotected/test_reload.pl

@@ -3,8 +3,9 @@
     Author:        Jan Wielemaker
     E-mail:        [email protected]
     WWW:           http://www.swi-prolog.org
-    Copyright (c)  2015-2016, University of Amsterdam
+    Copyright (c)  2015-2023, University of Amsterdam
                               VU University Amsterdam
+			      SWI-Prolog Solutions b.v.
     All rights reserved.
 
     Redistribution and use in source and binary forms, with or without
@@ -177,6 +178,11 @@
 test(goal_expansion) :-
 	reload(goal_expansion, 1),
 	reload(goal_expansion, 1).
+test(keep_tabling, [Name1, Wrapped1, Body1] =@= [Name2, Wrapped2, Body2]) :-
+	reload(keep_tabling, 1),
+	current_predicate_wrapper(keep_tabling:p(_,_), Name1, Wrapped1, Body1),
+	reload(keep_tabling, 2),
+	current_predicate_wrapper(keep_tabling:p(_,_), Name2, Wrapped2, Body2).
 
 :- end_tests(reconsult).
 

src/pl-srcfile.c

@@ -1368,11 +1368,11 @@ fix_metapredicate(p_reload *r)
       clear(def, P_TRANSPARENT);
       set(def, r->flags&P_TRANSPARENT);
 
-      freeCodesDefinition(def, FALSE);
+      freeCodesDefinition(def, TRUE);
     }
   } else if ( true(r, P_META) )
   { setMetapredicateMask(def, r->args);
-    freeCodesDefinition(def, FALSE);
+    freeCodesDefinition(def, TRUE);
   } else if ( true(r, P_TRANSPARENT) )
   { set(def, P_TRANSPARENT);
   }