use copy_term/3 as source of attribute goals

This commit is contained in:
Mark Thom
2020-05-03 19:34:18 -06:00
parent b8400e0c92
commit e2a3db1b82
2 changed files with 8 additions and 33 deletions

View File

@@ -445,15 +445,6 @@ impl Machine {
)
);
compile_user_module(&mut wam,
Stream::from(ORDSETS),
true,
ListingSource::from_file_and_path(
clause_name!("si"),
lib_path.clone(),
)
);
if wam.compile_top_level().is_err() {
panic!("Loading '$toplevel' module failed");
}