examples/sbyc_domain.rb in myrrha-2.0.0 vs examples/sbyc_domain.rb in myrrha-3.0.0.rc1

- old
+ new

@@ -1,7 +1,7 @@ require 'myrrha' -PosInt = Myrrha::Domain.sbyc(Integer){|i| i>0} +PosInt = Domain.sbyc(Integer){|i| i>0} ### PosInt.class PosInt.superclass