quote dot when quoted(true) (#349)

This commit is contained in:
Mark Thom
2020-04-15 00:54:32 -06:00
parent 9ef185978f
commit af14832b6c
3 changed files with 6 additions and 3 deletions

View File

@@ -123,6 +123,7 @@
atom(Value),
atom_chars(Value, ValueChars),
'$list_last_item'(ValueChars, Char),
Char \== '.',
'$graphic_token_char'(Char).
'$write_eqs_and_read_input'(B, VarList) :-