parmatch: remove stale adhoc fix for printf.ml (REVIEW REQUIRED!)

trefis · Nov 22, 2017 · 9cc2261 · 9cc2261
1 parent fa46b87
commit 9cc2261
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/typing/parmatch.ml b/typing/parmatch.ml
@@ -1084,8 +1084,6 @@ let exhaust ext pss n =
   match ret with
     Rnone -> Rnone
   | Rsome lst ->
-      (* The following line is needed to compile stdlib/printf.ml *)
-      if lst = [] then Rsome (omegas n) else
       let singletons =
         List.map
           (function