Fix bogus comment in SetMembershipSimplifier

apalache-mc · Aug 21, 2024 · cc3b95b · cc3b95b
1 parent 4f0b30e
commit cc3b95b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tla-pp/src/main/scala/at/forsyte/apalache/tla/pp/SetMembershipSimplifier.scala b/tla-pp/src/main/scala/at/forsyte/apalache/tla/pp/SetMembershipSimplifier.scala
@@ -87,7 +87,7 @@ class SetMembershipSimplifier(tracker: TransformationTracker) extends AbstractTr
         // x \in TDS  ~>  TRUE
         case set if isTypeDefining(set) => trueVal
 
-        // n \in Nat  ~>  x >= 0
+        // x \in Nat  ~>  x >= 0
         case ValEx(TlaNatSet) => OperEx(TlaArithOper.ge, name, ValEx(TlaInt(0))(intTag))(boolTag)
 
         // fun \in [Dom -> TDS]  ~>  DOMAIN fun = Dom    (fun \in [TDS1 -> TDS2] is handled above)