No need for the module override to be synchronized.

[Refactor]
tlaplus · Sep 20, 2022 · da543f2 · da543f2
1 parent 781d419
commit da543f2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/modules/tlc2/overrides/DyadicRationals.java b/modules/tlc2/overrides/DyadicRationals.java
@@ -50,7 +50,7 @@ ELSE Rational(p.num \div gcd, p.den \div gcd)
 
 	 */
 	@TLAPlusOperator(identifier = "Reduce", module = "DyadicRationals", warn = false)
-	public static synchronized Value reduce(final Value val) {
+	public static Value reduce(final Value val) {
 		if (!(val instanceof RecordValue)) {
 			throw new EvalException(EC.TLC_MODULE_ONE_ARGUMENT_ERROR,
 					new String[] { "Half", "record", Values.ppr(val.toString()) });