# File lib/dep_selector/gecode_wrapper.rb, line 41 def self.finalize(gecode_problem) proc { Dep_gecode.VersionProblemDestroy(gecode_problem) } end