change admitted to Qed

Signed-off-by: Avi Shinnar <[email protected]>
IBM · Jan 6, 2025 · fc22913 · fc22913
1 parent 133f806
commit fc22913
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq/QLearn/jaakkola_vector.v b/coq/QLearn/jaakkola_vector.v
@@ -9047,6 +9047,6 @@ Section qlearn.
        unfold X, FT.
        simpl.
        now ring_simplify.
-    Admitted.
+   Qed.
 
 End qlearn.