Commit 67ef7d881188d92553a1809a8b657f78ec0657e4

Thomas de Grivel 2023-03-08T09:41:59

ws

1
2
3
4
5
6
7
8
9
diff --git a/test/ic3_test b/test/ic3_test
index a7dc860..4a1c276 100755
--- a/test/ic3_test
+++ b/test/ic3_test
@@ -73,4 +73,3 @@ if [ "x$TEST_KO" = "x0" ]; then
 fi
 
 exit 1
-