Minor update for recent Opa #2

Merged
merged 1 commit into from Sep 26, 2011
Commits on Aug 24, 2011
  1. [fix] compilation with latest version of opa (change in hierarchy of …

    François-Régis Sinot committed Aug 24, 2011
    …stdlib.io)