fix(package): fixes #208 by compiling without Ivy#209

Open

bhuber2010 wants to merge 1 commit intofulls1z3:masterfrom bhuber2010:master

+9

Commits on Jul 9, 2020

fix(package): fixes fulls1z3#208 by compiling without Ivy
bhuber2010
committed