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