Commit 6beb8b4d authored by Sylvain Soliman's avatar Sylvain Soliman
Browse files

typo

parent ab94aa87
......@@ -263,7 +263,7 @@ const_eval(N, N) :-
const_eval(Term, D) :-
Term =.. [Op, A, B],
member(Op, ['+', '*', '-', '^', /']),
member(Op, ['+', '*', '-', '^', '/']),
const_eval(A, AA),
const_eval(B, BB),
TTerm =.. [Op, AA, BB],
......
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