1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Bug in functiondetection

Issue #397 resolved
Bart Bogaerts created an issue

SPASS tells us

syntax error on line 1 at item "&".

see attached file

Comments (12)

  8. Broes De Cat

    Improved printers. Fixes #397

    TPTPprinter: properly checks for builtin symbols ignores not supported constructions always calls the stringremappingtoASCII prints infix adds missing brackets to subsort constraints

    → <<cset 238ec2de7d85>>

  9. Broes De Cat

    Improved printers. Fixes #397

    TPTPprinter: properly checks for builtin symbols ignores not supported constructions always calls the stringremappingtoASCII prints infix adds missing brackets to subsort constraints

    → <<cset 734ab3e43c86>>

  10. Broes De Cat

    Improved printers. Fixes #397

    TPTPprinter: properly checks for builtin symbols ignores not supported constructions always calls the stringremappingtoASCII prints infix adds missing brackets to subsort constraints

    → <<cset 76c0caa6a03c>>

  11. Broes De Cat

    Improved printers. Fixes #397

    TPTPprinter: properly checks for builtin symbols ignores not supported constructions always calls the stringremappingtoASCII prints infix adds missing brackets to subsort constraints

    → <<cset 7123da52e2f2>>

  12. Broes De Cat

    Improved printers. Fixes #397

    TPTPprinter: properly checks for builtin symbols ignores not supported constructions always calls the stringremappingtoASCII prints infix adds missing brackets to subsort constraints

    → <<cset 9395c46f72a0>>

  13. Log in to comment
Assignee
Type
bug
Priority
major
Status
resolved
Component
–
Version
–
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!