Merge pull request #2958 from lemmy/patch-1

Fix bogus comment in SetMembershipSimplifier
apalache-mc · Aug 22, 2024 · d2b5cc2 · d2b5cc2
2 parents 4f0b30e + cc3b95b
commit d2b5cc2
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)