specs/constraints/int/channel.rb in gecoder-0.9.0 vs specs/constraints/int/channel.rb in gecoder-0.9.1

@@ -1,7 +1,9 @@
 require File.dirname(__FILE__) + '/../constraint_helper'
 
-class BoolChannelSampleProblem < Gecode::Model
+class BoolChannelSampleProblem
+  include Gecode::Mixin
+
   attr :bool_enum
   attr :bool
   attr :int
   
   def initialize