{"action":"created","issue":{"url":"https://api.github.com/repos/jwaldmann/matchbox/issues/22","labels_url":"https://api.github.com/repos/jwaldmann/matchbox/issues/22/labels{/name}","comments_url":"https://api.github.com/repos/jwaldmann/matchbox/issues/22/comments","events_url":"https://api.github.com/repos/jwaldmann/matchbox/issues/22/events","html_url":"https://github.com/jwaldmann/matchbox/issues/22","id":97328056,"number":22,"title":"proof output: some claims missing?","user":{"login":"jwaldmann","id":1334345,"avatar_url":"https://avatars.githubusercontent.com/u/1334345?v=3","gravatar_id":"","url":"https://api.github.com/users/jwaldmann","html_url":"https://github.com/jwaldmann","followers_url":"https://api.github.com/users/jwaldmann/followers","following_url":"https://api.github.com/users/jwaldmann/following{/other_user}","gists_url":"https://api.github.com/users/jwaldmann/gists{/gist_id}","starred_url":"https://api.github.com/users/jwaldmann/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jwaldmann/subscriptions","organizations_url":"https://api.github.com/users/jwaldmann/orgs","repos_url":"https://api.github.com/users/jwaldmann/repos","events_url":"https://api.github.com/users/jwaldmann/events{/privacy}","received_events_url":"https://api.github.com/users/jwaldmann/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/jwaldmann/matchbox/labels/bug","name":"bug","color":"fc2929"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-07-26T15:38:05Z","updated_at":"2015-07-26T16:12:46Z","closed_at":null,"body":"example: https://www.starexec.org/starexec/services/jobs/pairs/118735184/stdout/1?limit=-1\r\n\r\nthis looks like an exception during rendering of the proof (in particular, the claim)"},"comment":{"url":"https://api.github.com/repos/jwaldmann/matchbox/issues/comments/125012267","html_url":"https://github.com/jwaldmann/matchbox/issues/22#issuecomment-125012267","issue_url":"https://api.github.com/repos/jwaldmann/matchbox/issues/22","id":125012267,"user":{"login":"jwaldmann","id":1334345,"avatar_url":"https://avatars.githubusercontent.com/u/1334345?v=3","gravatar_id":"","url":"https://api.github.com/users/jwaldmann","html_url":"https://github.com/jwaldmann","followers_url":"https://api.github.com/users/jwaldmann/followers","following_url":"https://api.github.com/users/jwaldmann/following{/other_user}","gists_url":"https://api.github.com/users/jwaldmann/gists{/gist_id}","starred_url":"https://api.github.com/users/jwaldmann/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jwaldmann/subscriptions","organizations_url":"https://api.github.com/users/jwaldmann/orgs","repos_url":"https://api.github.com/users/jwaldmann/repos","events_url":"https://api.github.com/users/jwaldmann/events{/privacy}","received_events_url":"https://api.github.com/users/jwaldmann/received_events","type":"User","site_admin":false},"created_at":"2015-07-26T16:12:46Z","updated_at":"2015-07-26T16:12:46Z","body":"the actual error is:\r\n```\r\nis MB.exe: MB.hs:(238,25)-(240,58): Non-exhaustive patterns in case\r\n```\r\n"}}