Added or to ILPullQuant.
Did nothing
Merge branch 'master' of git@github.com:jesper-bengtson/MirrorCharge.git

Conflicts:
	MirrorCharge!/src/ILPullQuant.v