update setup.ml for latest oasis
Ignore-this: 5c6f3a3832fdc6456179bf2158a49987 darcs-hash:20111122192808-c41ad-3b761bfa13ae21f4d976bf4c1fd7fe50190a2f87
This commit is contained in:
parent
66a816fe72
commit
b340d4292d