src/HOL/Presburger.thy

--- a/src/HOL/Presburger.thy	Thu Sep 29 20:54:44 2016 +0200
+++ b/src/HOL/Presburger.thy	Thu Sep 29 20:54:45 2016 +0200
@@ -5,7 +5,7 @@
 section \<open>Decision Procedure for Presburger Arithmetic\<close>
 
 theory Presburger
-imports Groebner_Basis Set_Interval
+imports Groebner_Basis Set_Interval Argo
 keywords "try0" :: diag
 begin