fix build error reported by Ari

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Merge branch 'opt' of https://git01.codeplex.com/z3 into opt
remove extra qualifier

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
remove extra qualifier

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
remove extra qualifier

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
remove extra qualifier

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
remove extra qualifier

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>