fix

affeldt-aist · Jan 3, 2022 · 9ae6fe7 · 9ae6fe7
1 parent 26a6edf
commit 9ae6fe7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/changelog.txt b/changelog.txt
@@ -1,5 +1,5 @@
 -------------------
-from 0.3.4 to ?.?.?
+from 0.3.4 to 0.3.5
 -------------------
 
 * added

diff --git a/ecc_modern/ldpc_algo.v b/ecc_modern/ldpc_algo.v
@@ -103,7 +103,7 @@ Next Obligation. by move=> -[a0 a1]; rewrite /beta_op !mulR1. Qed.
 Canonical beta_op_monoid_law.
 
 Program Definition beta_op_monoid_com_law : Monoid.com_law (R1, R1) := @Monoid.ComLaw _ _ beta_op_monoid_law _.
-Next Obligation. by move=> -[a0 a1] [b0 b1]; rewrite /beta_op (mulRC a0) (mulRC a1). Qed.
+Next Obligation. by move=> -[a0 a1] [b0 b1]; rewrite /beta_op /= (mulRC a0) (mulRC a1). Qed.
 Canonical beta_op_monoid_com_law.
 
 (** Select α or β according to node kind *)