diff --git a/modules/tlc2/overrides/DyadicRationals.java b/modules/tlc2/overrides/DyadicRationals.java
index c555b9b..5c601fd 100644
--- 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()) });