diff --git a/tests/simple_ovo.t b/tests/simple_ovo.t
index 82f0d866c27e4ae05c7f58a2558bc6c8877f39b5..a26f0dd37479734ea33b70e08ca8fe710a1190ad 100644
--- a/tests/simple_ovo.t
+++ b/tests/simple_ovo.t
@@ -29,7 +29,6 @@ Test verify
   > theory T
   >     use TestSVM.SVMasArray
   >     use ieee_float.Float64
-  >     use caisar.IOShape
   >     use caisar.SVM
   > 
   >      goal G: forall a : input_type.