Remove unused --run-cps/--run-cpsz options
authorSimon Marlow <marlowsd@gmail.com>
Sun, 8 Jun 2014 09:24:25 +0000 (10:24 +0100)
committerSimon Marlow <marlowsd@gmail.com>
Sun, 8 Jun 2014 10:21:12 +0000 (11:21 +0100)
commit70f58ebfefd47b724a3b0aa3aca50442f937e6eb
tree22ed3f8a5634a4bcbc32d7bd7aff9d5fabb668e1
parent9fd507e5758f4141ac2619f0db57136bcab035c6
Remove unused --run-cps/--run-cpsz options
compiler/main/DynFlags.hs