bhle/bhle — pull request #470 by wkollernhm (2012-06-12 09:36:28+00:00)
Title: Updating SMT to use v1 OLEF

Updating SMT to use v1 OLEF