Fix bug in Resolver
authorAnders Mörtberg <mortberg@chalmers.se>
Mon, 13 Apr 2015 21:33:52 +0000 (23:33 +0200)
committerAnders Mörtberg <mortberg@chalmers.se>
Mon, 13 Apr 2015 21:33:52 +0000 (23:33 +0200)
commit543b51c27a453d8a9b97fa4f15b3cea1d6485398
treeda42e9798ccb01ad8df062a99099076d9569443b
parent4254c00daf65366e73f22218064af82a32d7af70
Fix bug in Resolver
Resolver.hs