[project @ 2001-08-23 10:51:19 by simonmar]
[ghc-hetmet.git] / ghc / tests / specialise / clausify002 / clausify002.stdout
1 prop> a <= 
2 prop>