Ticket #760 (new bug)
Opened 3 weeks ago
Wrong proof created by extra options passed to darwin
| Reported by: | maeder | Owned by: | maeder |
|---|---|---|---|
| Priority: | major | Milestone: | 0.95 |
| Component: | hets | Version: | 0.93 |
| Keywords: | Cc: |
Description
if "-fd true" is entered as extra option in the prover window, the proof succeeds, but the details show a parse error.
Parse error at line 9 column 43: ( SZS status SyntaxError for /tmp/RelationsAndOrders_Nat_refl2009-11-03-68569.865542s.tptp
Note: See
TracTickets for help on using
tickets.
