single initialization for top frame.

This commit is contained in:
Vitor Santos Costa
2010-11-28 11:51:31 +00:00
parent f4bda9b043
commit 4aee4df719
2 changed files with 4 additions and 5 deletions

View File

@@ -239,6 +239,10 @@ void make_root_frames(void) {
/* root dependency frame */
if (!GLOBAL_root_dep_fr) {
new_dependency_frame(GLOBAL_root_dep_fr, FALSE, NULL, NULL, NULL, NULL, NULL);
#ifdef TABLING
fprintf(stderr,"saved_b=%p\n", B);
DepFr_cons_cp(GLOBAL_root_dep_fr) = B;
#endif /* TABLING */
}
#endif /* TABLING */
}