{"action":"opened","issue":{"url":"https://api.github.com/repos/hendriktews/proof-tree/issues/4","repository_url":"https://api.github.com/repos/hendriktews/proof-tree","labels_url":"https://api.github.com/repos/hendriktews/proof-tree/issues/4/labels{/name}","comments_url":"https://api.github.com/repos/hendriktews/proof-tree/issues/4/comments","events_url":"https://api.github.com/repos/hendriktews/proof-tree/issues/4/events","html_url":"https://github.com/hendriktews/proof-tree/issues/4","id":256327692,"number":4,"title":"proof tree doesn't seem to play well with coq 8.6","user":{"login":"HuStmpHrrr","id":6101711,"avatar_url":"https://avatars3.githubusercontent.com/u/6101711?v=4","gravatar_id":"","url":"https://api.github.com/users/HuStmpHrrr","html_url":"https://github.com/HuStmpHrrr","followers_url":"https://api.github.com/users/HuStmpHrrr/followers","following_url":"https://api.github.com/users/HuStmpHrrr/following{/other_user}","gists_url":"https://api.github.com/users/HuStmpHrrr/gists{/gist_id}","starred_url":"https://api.github.com/users/HuStmpHrrr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/HuStmpHrrr/subscriptions","organizations_url":"https://api.github.com/users/HuStmpHrrr/orgs","repos_url":"https://api.github.com/users/HuStmpHrrr/repos","events_url":"https://api.github.com/users/HuStmpHrrr/events{/privacy}","received_events_url":"https://api.github.com/users/HuStmpHrrr/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-09-08T17:55:46Z","updated_at":"2017-09-08T17:58:01Z","closed_at":null,"author_association":"NONE","body":"I have the following error when I try to launch prooftree:\r\n\r\n```\r\nCoq existential variable info parsing error!\r\nThe parser died on the input\r\n  (dependent evars: (printing disabled) )\r\nwith an exception Scan_failure with message\r\nexpected an evar (starting with '?') or the end of the evar info (a ')'); but found '('\r\n```\r\n\r\n```\r\n$ coqc -v\r\nThe Coq Proof Assistant, version 8.6 (September 2017)\r\ncompiled on Sep 8 2017 13:44:19 with OCaml 4.02.3\r\n```\r\n\r\nIs there anyway I can see the concrete input object?"}}
{"actor":{"display_login":"HuStmpHrrr"}}