Commit 66354449 authored by POTTIER Francois's avatar POTTIER Francois

UnparameterizedPrinter: removed a call to [filter] which is now useless.

parent 1d791e2b
......@@ -148,9 +148,6 @@ let print_semantic_action f g branch =
IL.EVar (sprintf "$%d" (i + 1))
) branch.producers
let bindings =
List.filter (function (IL.PWildcard, _) -> false | _ -> true) bindings
(* We can use a nested sequence of [let/in] definitions, as
opposed to a single [let/and] definitions, because the
identifiers that we bind are pairwise distinct. *)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment