fix test

hazelgrove · Oct 15, 2024 · 1b83caa · 1b83caa
1 parent 67b3853
commit 1b83caa
Showing 1 changed file with 5 additions and 1 deletion.
diff --git 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,
+  ),
 ];