diff --git a/ghc/driver/ghc.lprl b/ghc/driver/ghc.lprl
index 053e2e45d38e9cc9764b4fa24882a333e3051617..99e2f4f0b014cbb2e19745919237eba1e4868e51 100644
--- a/ghc/driver/ghc.lprl
+++ b/ghc/driver/ghc.lprl
@@ -760,6 +760,7 @@ sub setupOptimiseFlags {
 	  # See remark re: cloning in defn of minusnotO
 	  '-fclone-binds',
 
+	  '-fdo-case-elim',
 	  '-fmax-simplifier-iterations1',
 	  $Oopt_PedanticBottoms,
 	  ']',