change equals to ==

gauravpartha · gauravpartha · commit e2c7dc766a58 · 2023-12-15T10:32:30.000+01:00
diff --git a/src/main/scala/viper/carbon/modules/impls/DefaultStateModule.scala b/src/main/scala/viper/carbon/modules/impls/DefaultStateModule.scala
@@ -154,7 +154,7 @@ class DefaultStateModule(val verifier: Verifier) extends StateModule {
   }
 
   private def freshTempStateKeepCurrentAux(name: String, usedForOldState: Boolean) : StateSnapshot = {
-    if(name.equals("old") && !usedForOldState) {
+    if(name == "old" && !usedForOldState) {
       sys.error("freshTempStateKeepCurrent invoked with reserved \"old\" name")
     }
 

Original file line number	Diff line number	Diff line change
`@@ -154,7 +154,7 @@ class DefaultStateModule(val verifier: Verifier) extends StateModule {`
`154`	`154`	`}`
`155`	`155`
`156`	`156`	`private def freshTempStateKeepCurrentAux(name: String, usedForOldState: Boolean) : StateSnapshot = {`
`157`		`- if(name.equals("old") && !usedForOldState) {`
	`157`	`+ if(name == "old" && !usedForOldState) {`
`158`	`158`	`sys.error("freshTempStateKeepCurrent invoked with reserved \"old\" name")`
`159`	`159`	`}`
`160`	`160`