From 62df7cae4eea1c3aee0fe16fc46caae4b9eedb4c Mon Sep 17 00:00:00 2001
From: Peter Waegemann <waegemann@cs.fau.de>
Date: Tue, 29 May 2018 19:18:45 +0200
Subject: [PATCH] Remove unnecessary pry dependency

---
 lib/ext/gurobi.rb | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lib/ext/gurobi.rb b/lib/ext/gurobi.rb
index a86bd0e..558c495 100644
--- a/lib/ext/gurobi.rb
+++ b/lib/ext/gurobi.rb
@@ -8,7 +8,6 @@ include PML
 
 require 'thwait'
 require 'thread'
-require 'pry'
 
 # Simple interface to gurobi_cl
 class GurobiILP < ILP
-- 
GitLab