Move copy_term/3 to library(iso_ext)

2024-01-19 17:33:45 +01:00
parent e3aa85e2a2
commit 99c85459a7
3 changed files with 18 additions and 11 deletions
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -1,4 +1,4 @@
-:- module('$toplevel', [copy_term/3]).
+:- module('$toplevel', []).

 :- use_module(library(atts), [call_residue_vars/2]).
 :- use_module(library(charsio)).