it's called mux now, not Psi
authorMatthias Braun <matze@braunis.de>
Wed, 10 Dec 2008 10:25:24 +0000 (10:25 +0000)
committerMatthias Braun <matze@braunis.de>
Wed, 10 Dec 2008 10:25:24 +0000 (10:25 +0000)
commit9ecdbbd272facf95937c68b1ace5edc3bae7f920
treec021f04702b0c102353f6135dd702f4ffd22ffee
parent5c4eda434996c01bb92310a1afcada0927115858
it's called mux now, not Psi

[r24472]
ir/be/ia32/bearch_ia32.c