From 9aeaebfded1d6855224a3070835b5f17a6bf971c Mon Sep 17 00:00:00 2001 From: Hugo Sales Date: Mon, 17 Dec 2018 16:34:02 +0000 Subject: [PATCH] Quick fix --- polymani.pl | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/polymani.pl b/polymani.pl index 8ed0528..4a7fec7 100644 --- a/polymani.pl +++ b/polymani.pl @@ -278,10 +278,10 @@ parse_polynomial_explicit(void-_, T) --> parse_command(show(void, T)) --> %% NOTE Probably easier if the tree is always binary [show], - parse_polynomial_explicit(T). + parse_polynomial(T). parse_command(show(P, T)) --> [show], - parse_polynomial_explicit(T), + parse_polynomial(T), [as], [P]. parse_command(show_all) --> @@ -290,20 +290,20 @@ parse_command(store(P, T)) --> [let], [P], [be], - parse_polynomial_explicit(T). + parse_polynomial(T). parse_command(store(P, T)) --> [store], - parse_polynomial_explicit(T), + parse_polynomial(T), [as], [P]. parse_command(simplify(T)) --> [simplify], - parse_polynomial_explicit(T). + parse_polynomial(T). parse_command(op(*, TN, TP)) --> [multiply], parse_number(TN), [by], - parse_polynomial_explicit(_-_, TP). + parse_polynomial(_-_, TP). parse_input(command(TCL, TCR)) --> parse_command(TCL),