From ce98453d85ef5d28de3e1d93c5e9d891cee81b5f Mon Sep 17 00:00:00 2001
From: Mathieu Barbin <mathieu.barbin@gmail.com>
Date: Mon, 19 Feb 2024 08:59:57 +0100
Subject: [PATCH] Simplify test

---
 test/test__introspection.ml | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/test/test__introspection.ml b/test/test__introspection.ml
index 44630ee..71ae2b4 100644
--- a/test/test__introspection.ml
+++ b/test/test__introspection.ml
@@ -26,15 +26,13 @@ let print_implements (Provider.T { t = _; interface }) =
 ;;
 
 let%expect_test "introspection" =
-  require_does_not_raise [%here] (fun () ->
-    print_implements (Provider.T { t = (); interface = Provider.Interface.make [] });
-    [%expect
-      {|
-      ((
-        implements (
-          (file_reader      false)
-          (directory_reader false)))) |}]);
-  [%expect {||}];
+  print_implements (Provider.T { t = (); interface = Provider.Interface.make [] });
+  [%expect
+    {|
+    ((
+      implements (
+        (file_reader      false)
+        (directory_reader false)))) |}];
   let unix_reader = Providers.Unix_reader.make () in
   Eio_main.run
   @@ fun env ->