From 1b83caa7c850e87d7822e7afae0f2db633b64944 Mon Sep 17 00:00:00 2001
From: ZhiyaoZhong <guodcz@gmail.com>
Date: Tue, 15 Oct 2024 16:08:18 -0400
Subject: [PATCH] fix test

---
 test/Test_Elaboration.re | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/test/Test_Elaboration.re b/test/Test_Elaboration.re
index 0d4aa2a50..4f1f8e112 100644
--- a/test/Test_Elaboration.re
+++ b/test/Test_Elaboration.re
@@ -220,5 +220,9 @@ let elaboration_tests = [
     `Quick,
     deferral,
   ),
-  test_case("Rules print all", `Quick, Verify.__print_all_specs_and_tests),
+  test_case(
+    "Rules print all",
+    `Quick,
+    RuleVerify.__print_all_specs_and_tests,
+  ),
 ];