From bf77cb9bcdbd2378fabda6aca6aa879f0fca99c4 Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Thu, 14 Apr 2022 12:48:22 +0200
Subject: [PATCH] [SAVer] Removed unuseful IOShape in tests.

---
 tests/simple_ovo.t | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tests/simple_ovo.t b/tests/simple_ovo.t
index 82f0d866..a26f0dd3 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.
-- 
GitLab