Issue 94 in teyjus: incorrect usage of input segfaults

0 views
Skip to first unread message

tey...@googlecode.com

unread,
Jan 7, 2015, 6:22:48 PM1/7/15
to teyjus...@googlegroups.com
Status: Accepted
Owner: fafo...@gmail.com
Labels: Priority-Medium

New issue 94 by fafo...@gmail.com: incorrect usage of input segfaults
https://code.google.com/p/teyjus/issues/detail?id=94

[toplevel] ?- input X S Q.
Error: input: Integer expected: Segmentation fault


--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings

tey...@googlecode.com

unread,
Jan 8, 2015, 8:36:16 AM1/8/15
to teyjus...@googlegroups.com
Updates:
Status: Fixed

Comment #1 on issue 94 by fafo...@gmail.com: incorrect usage of input
segfaults
https://code.google.com/p/teyjus/issues/detail?id=94

This issue was closed by revision r1166.
Reply all
Reply to author
Forward
0 new messages