Commit 732a19d5 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Allow one to pass an empty list of variables in debug tallying directive.

parent da90a0d4
Pipeline #186 passed with stages
in 4 minutes and 32 seconds
......@@ -110,6 +110,7 @@ let parse_pat_list err p f =
match r with
Elem { descr = e; _ } -> (match f e with Some x -> x :: acc | None -> err ())
| Seq (r1, r2) -> loop r2 (loop r1 acc)
| Epsilon -> acc
| _ -> err ()
in
match p.Cduce_loc.descr with
......
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