From 56adccdfd1459975c9bfaea55d4dcaa6fbc68fd4 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Fri, 1 Dec 2017 17:03:24 +0100
Subject: [PATCH] using MathProgBase

---
 src/PropertyT.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index 388c37c..e4c456d 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -8,6 +8,7 @@ import Nemo: Group, GroupElem, Ring, Generic.perm
 
 using JLD
 using JuMP
+using MathProgBase
 
 using Memento