Remove a cut that sucked.

2019-08-11 20:45:49 -07:00
parent 40148fced9
commit 222c472449
2 changed files with 2 additions and 3 deletions
@@ -35,9 +35,7 @@ loop( Line, In, Out) :-
  line(NextLine), !,
  loop(NextLine, S, Out).

-do_line(Line, In, Out) :-
-    phrase(joy_parse(E), Line), !,
-    thun(E, In, Out).
+do_line(Line, In, Out) :- phrase(joy_parse(E), Line), thun(E, In, Out).
 do_line(_Line, S,   S) :- write('Err'), nl.

 prompt :- write(`joy? `).