Tiny cleanup

lukstafi · lukstafi · commit 7055a683aaa0 · 2025-06-13T19:53:36.000+02:00
diff --git a/lib/row.ml b/lib/row.ml
@@ -1592,7 +1592,6 @@ let empty_env =
   {
     dim_env = Map.empty (module Dim_var);
     row_env = Map.empty (module Row_var);
-    (* padding_env = Map.empty (module Dim_var); *)
   }
 
 let%debug4_sexp solve_inequalities ~(stage : stage) (ineqs : constraint_ list) (env : environment) :

Original file line number	Diff line number	Diff line change
`@@ -1592,7 +1592,6 @@ let empty_env =`
`1592`	`1592`	`{`
`1593`	`1593`	`dim_env = Map.empty (module Dim_var);`
`1594`	`1594`	`row_env = Map.empty (module Row_var);`
`1595`		`- (* padding_env = Map.empty (module Dim_var); *)`
`1596`	`1595`	`}`
`1597`	`1596`
`1598`	`1597`	`let%debug4_sexp solve_inequalities ~(stage : stage) (ineqs : constraint_ list) (env : environment) :`