adapt to deal with existential variables
commit1a60a54dcf0b8d7c30b22be3386f65cd0a374790
authorskimo <skimo>
Sat, 17 Jul 2004 16:51:05 +0000 (17 16:51 +0000)
committerskimo <skimo>
Sat, 17 Jul 2004 16:51:05 +0000 (17 16:51 +0000)
tree113f78de9fc14dc800f075b562a0080008c0ab80
parente0b74a980e0b931a75b4f84e45820cf5f2e70449
adapt to deal with existential variables
util.c
util.h