Remove now-unnecessary push/pop.
authorH. Peter Anvin <hpa@zytor.com>
Tue, 20 Feb 2007 22:41:23 +0000 (14:41 -0800)
committerH. Peter Anvin <hpa@zytor.com>
Tue, 20 Feb 2007 22:41:23 +0000 (14:41 -0800)
commitaf73bb362c3a01243eb8ddbda6646524c4496eca
tree2997e26f88a79c066153d4c91bf6269c763b81ad
parent953510d25bb93fa1508cb24fde994cbb444bdcd2
Remove now-unnecessary push/pop.
ui.inc