Commit 1d9537b4 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain
Browse files

make has become so slooooow…

parent aec79a6c
......@@ -504,11 +504,15 @@ print_item(Id) :-
% make it so that print/1 does not quote things that look like a variable
user:portray(Thing) :-
with_output_to(atom(Atom), write(Thing)),
read_term_from_atom(Atom, Term, []),
var(Term),
atom(Thing),
catch(
read_term_from_atom(Thing, Term, []),
_,
fail
),
\+ compound(Term),
!,
write(Atom).
write(Thing).
:- dynamic(deleting/1).
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment