Commit 8fa00810 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Removed [foreach_terminal], which was unused.

parent 9c99178f
......@@ -72,11 +72,6 @@ let first prod i z =
(* This computes a minimum over a set of terminal symbols. *)
let foreach_terminal (f : Terminal.t -> property) : property =
Terminal.fold (fun t accu ->
P.min_lazy accu (fun () -> f t)
) P.bottom
let foreach_terminal_in toks (f : Terminal.t -> property) : property =
TerminalSet.fold (fun t accu ->
P.min_lazy accu (fun () -> f t)
......
Supports Markdown
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