{"action":"created","issue":{"url":"https://api.github.com/repos/wintersteiger/z3/issues/4","repository_url":"https://api.github.com/repos/wintersteiger/z3","labels_url":"https://api.github.com/repos/wintersteiger/z3/issues/4/labels{/name}","comments_url":"https://api.github.com/repos/wintersteiger/z3/issues/4/comments","events_url":"https://api.github.com/repos/wintersteiger/z3/issues/4/events","html_url":"https://github.com/wintersteiger/z3/pull/4","id":147431722,"number":4,"title":"Fix installation of custom error handler during context creation in O…","user":{"login":"martin-neuhaeusser","id":11831771,"avatar_url":"https://avatars.githubusercontent.com/u/11831771?v=3","gravatar_id":"","url":"https://api.github.com/users/martin-neuhaeusser","html_url":"https://github.com/martin-neuhaeusser","followers_url":"https://api.github.com/users/martin-neuhaeusser/followers","following_url":"https://api.github.com/users/martin-neuhaeusser/following{/other_user}","gists_url":"https://api.github.com/users/martin-neuhaeusser/gists{/gist_id}","starred_url":"https://api.github.com/users/martin-neuhaeusser/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/martin-neuhaeusser/subscriptions","organizations_url":"https://api.github.com/users/martin-neuhaeusser/orgs","repos_url":"https://api.github.com/users/martin-neuhaeusser/repos","events_url":"https://api.github.com/users/martin-neuhaeusser/events{/privacy}","received_events_url":"https://api.github.com/users/martin-neuhaeusser/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"wintersteiger","id":10155819,"avatar_url":"https://avatars.githubusercontent.com/u/10155819?v=3","gravatar_id":"","url":"https://api.github.com/users/wintersteiger","html_url":"https://github.com/wintersteiger","followers_url":"https://api.github.com/users/wintersteiger/followers","following_url":"https://api.github.com/users/wintersteiger/following{/other_user}","gists_url":"https://api.github.com/users/wintersteiger/gists{/gist_id}","starred_url":"https://api.github.com/users/wintersteiger/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wintersteiger/subscriptions","organizations_url":"https://api.github.com/users/wintersteiger/orgs","repos_url":"https://api.github.com/users/wintersteiger/repos","events_url":"https://api.github.com/users/wintersteiger/events{/privacy}","received_events_url":"https://api.github.com/users/wintersteiger/received_events","type":"User","site_admin":false},"milestone":null,"comments":2,"created_at":"2016-04-11T13:36:05Z","updated_at":"2016-04-14T19:43:07Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/wintersteiger/z3/pulls/4","html_url":"https://github.com/wintersteiger/z3/pull/4","diff_url":"https://github.com/wintersteiger/z3/pull/4.diff","patch_url":"https://github.com/wintersteiger/z3/pull/4.patch"},"body":"…Caml bindings\r\n\r\nThis patch fixes a bug detected by valgrind, where a custom error handler\r\ndid not get installed correctly."},"comment":{"url":"https://api.github.com/repos/wintersteiger/z3/issues/comments/210117396","html_url":"https://github.com/wintersteiger/z3/pull/4#issuecomment-210117396","issue_url":"https://api.github.com/repos/wintersteiger/z3/issues/4","id":210117396,"user":{"login":"martin-neuhaeusser","id":11831771,"avatar_url":"https://avatars.githubusercontent.com/u/11831771?v=3","gravatar_id":"","url":"https://api.github.com/users/martin-neuhaeusser","html_url":"https://github.com/martin-neuhaeusser","followers_url":"https://api.github.com/users/martin-neuhaeusser/followers","following_url":"https://api.github.com/users/martin-neuhaeusser/following{/other_user}","gists_url":"https://api.github.com/users/martin-neuhaeusser/gists{/gist_id}","starred_url":"https://api.github.com/users/martin-neuhaeusser/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/martin-neuhaeusser/subscriptions","organizations_url":"https://api.github.com/users/martin-neuhaeusser/orgs","repos_url":"https://api.github.com/users/martin-neuhaeusser/repos","events_url":"https://api.github.com/users/martin-neuhaeusser/events{/privacy}","received_events_url":"https://api.github.com/users/martin-neuhaeusser/received_events","type":"User","site_admin":false},"created_at":"2016-04-14T19:43:07Z","updated_at":"2016-04-14T19:43:07Z","body":"Yes, I have removed the last commit 8097fd5.\r\nUsually, type annotations are omitted wherever possible in OCaml. But here they might actually be useful, as they allow to detect errors in the auto-generated Z3native module early and precisely by the OCaml type checker."}}