{"comment":{"url":"https://api.github.com/repos/cwi-swat/rascal/comments/9383023","html_url":"https://github.com/cwi-swat/rascal/commit/1057e900820741f73842de7ac9baacd0d1ddb644#commitcomment-9383023","id":9383023,"user":{"login":"mahills","id":805197,"avatar_url":"https://avatars.githubusercontent.com/u/805197?v=3","gravatar_id":"","url":"https://api.github.com/users/mahills","html_url":"https://github.com/mahills","followers_url":"https://api.github.com/users/mahills/followers","following_url":"https://api.github.com/users/mahills/following{/other_user}","gists_url":"https://api.github.com/users/mahills/gists{/gist_id}","starred_url":"https://api.github.com/users/mahills/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mahills/subscriptions","organizations_url":"https://api.github.com/users/mahills/orgs","repos_url":"https://api.github.com/users/mahills/repos","events_url":"https://api.github.com/users/mahills/events{/privacy}","received_events_url":"https://api.github.com/users/mahills/received_events","type":"User","site_admin":false},"position":null,"line":null,"path":"","commit_id":"1057e900820741f73842de7ac9baacd0d1ddb644","created_at":"2015-01-21T19:49:51Z","updated_at":"2015-01-21T19:49:51Z","body":"The version of `makeSmallerThan` that takes a list is fine, I'm talking about the versions that just take individual values, sorry for the confusion."}}