fixup! Split hints/proofs

pgiarrusso-sl · pgiarrusso-sl · commit d170d19b8931 · 2026-07-12T13:25:40.000+02:00
diff --git a/rocq-brick-libstdcpp/test/compare/test_specs.v b/rocq-brick-libstdcpp/test/compare/test_specs.v
@@ -37,8 +37,7 @@ Section with_cpp.
     \prepost{q_globals} std.compare.strong_ordering_globals q_globals
     \post[Vbool true] emp).
 
-  cpp.spec "TestWeakOrderingClass()" as test_weak_ordering_class with
-    (
+  cpp.spec "TestWeakOrderingClass()" as test_weak_ordering_class with (
     \prepost{q_globals} std.compare.weak_ordering_globals q_globals
     \post[Vbool true] emp).
 
