require 'minitest/autorun'
require 'minitest/pride'

require "mocha"

require "#{File.dirname(__FILE__)}/../lib/micro_kanren"

require "#{File.dirname(__FILE__)}/test_programs"
require "#{File.dirname(__FILE__)}/test_support"

require 'minitest/autorun'

require "mocha"

require "#{File.dirname(__FILE__)}/../lib/micro_kanren"

require "#{File.dirname(__FILE__)}/test_programs"
require "#{File.dirname(__FILE__)}/test_support"

Remove pride since it causes a couple of weird chars in travis-ci
Remove pride since it causes a couple of weird chars in travis-ci
