From 2f48dbbc7fef5bf794b175e2967eba53deb38056 Mon Sep 17 00:00:00 2001
From: Cyril Cohen <cohen@crans.org>
Date: Wed, 23 Nov 2022 19:20:45 +0100
Subject: [PATCH] Stub

---
 tests/howto.v | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tests/howto.v b/tests/howto.v
index b7265d19b..c1c071577 100644
--- a/tests/howto.v
+++ b/tests/howto.v
@@ -31,3 +31,7 @@ HB.instance
     Z.mul_add_distr_r Z.mul_add_distr_l.
 
 HB.howto Z Ring.type.
+
+Fail HB.howto AddMonoid_of_TYPE.
+Fail HB.howto Ring_of_TYPE.
+Fail HB.howto Ring.