test-suite/bugs/closed/bug_11730.v


1
2
3
4
5
6

Set Mangle Names.

Infix "&&&" := andb (at level 40, left associativity).
(* Error: Variable _0 occurs more than once. *)

Check (_ &&& _).