Remove unnecessary condition

HigherOrderCO · Mar 28, 2024 · ab2e081 · ab2e081
1 parent 1f273c4
commit ab2e081
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/src/term/transform/float_combinators.rs b/src/term/transform/float_combinators.rs
@@ -53,11 +53,6 @@ impl Term {
       // Recursively float the children terms.
       term.float_combinators(combinators, name_gen, book, def_name, builtin, seen);
 
-      // Don't float if it has unscoped variables.
-      if term.has_unscoped_diff() {
-        continue;
-      }
-
       if term.is_combinator() && !term.is_safe(book, seen) {
         float_combinator(def_name, name_gen, term, builtin, combinators);
       }