From d5d86bee62d7268ebb2b919881a6a4a04cc5f45f Mon Sep 17 00:00:00 2001
From: Hugo Sales <hdcs333@gmail.com>
Date: Wed, 19 Dec 2018 23:33:49 +0000
Subject: [PATCH] Fixed small derp

---
 polymani.pl | 18 ++++++++----------
 1 file changed, 8 insertions(+), 10 deletions(-)

diff --git a/polymani.pl b/polymani.pl
index 5308447..dda79e9 100644
--- a/polymani.pl
+++ b/polymani.pl
@@ -118,12 +118,12 @@ do_process_input(show(void, T)) :-
     nl.
 do_process_input(store(P, T)) :-
     assertz(polynomial_store(P, T)).
-%% do_process_input(show(store(P, T))) :-
-%%     assertz(polynomial_store(P, T)),
-%%     write(P),
-%%     write(" = "),
-%%     print_polynomial_tree(T),
-%%     nl.
+do_process_input(show(store(P), T)) :-
+    assertz(polynomial_store(P, T)),
+    write(P),
+    write(" = "),
+    print_polynomial_tree(T),
+    nl.
 do_process_input(forget(P)) :-
     retract(polynomial_store(P, _)).
 do_process_input(simplify(PT)) :-
@@ -417,9 +417,7 @@ parse_polynomial_explicit(void-_, T) -->
 
 parse_command(show_stored_polynomials) -->
     [show, stored, polynomials].
-parse_command(show(P, T),
-              command(store(P, T),
-                      void)) -->
+parse_command(show(store(P, T), T)) -->
     [show],
     parse_polynomial(T),
     [as],
@@ -430,7 +428,7 @@ parse_command(forget(P)) -->
 parse_command(show(load(P), void)) -->
     [show],
     parse_stored_variable(P).
-parse_command(show(void, T)) --> %% NOTE Probably easier if the tree is always binary
+parse_command(show(void, T)) -->
     [show],
     parse_polynomial(T),
     { nonvar(T) }.