aboutsummaryrefslogtreecommitdiff
path: root/test-suite/bugs/closed/bug_11730.v
blob: f788636f9c43804f1b208b40d03487f01f4baf29 (plain)
1
2
3
4
5
6
Set Mangle Names.

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

Check (_ &&& _).