{"push_id":827002738,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7380a25d3d7ca87818417e410b89d1c2a6aba83b","before":"763c9261704561cfcbc435f1227a1accbdcfa33a","commits":[{"sha":"7380a25d3d7ca87818417e410b89d1c2a6aba83b","author":{"email":"fc8f3835feb0563f05b984aef6d5c8a44dfccae7@cs.rwth-aachen.de","name":"sschupp"},"message":"minor fix in predeclaration","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/7380a25d3d7ca87818417e410b89d1c2a6aba83b"}]}