remove comment that does not apply anymore

gauravpartha · gauravpartha · commit 1e2a95ec6b3f · 2020-02-26T12:26:36.000+01:00
diff --git a/src/main/scala/viper/carbon/modules/impls/DefaultFuncPredModule.scala b/src/main/scala/viper/carbon/modules/impls/DefaultFuncPredModule.scala
@@ -838,7 +838,6 @@ with DefinednessComponent with ExhaleComponent with InhaleComponent {
         def before() : Stmt = {
           val result = CommentBlock("Execute unfolding (for extra information)",
             stmt ++ unfoldPredicate(acc, NullPartialVerificationError, isUnfolding = true, exhaleUnfoldedPredicate = true)
-              // skip removing the predicate instance, since this will have happened earlier in the assertion being exhaled
           )
           duringUnfoldingExtraUnfold = false
           result

Original file line number	Diff line number	Diff line change
`@@ -838,7 +838,6 @@ with DefinednessComponent with ExhaleComponent with InhaleComponent {`
`838`	`838`	`def before() : Stmt = {`
`839`	`839`	`val result = CommentBlock("Execute unfolding (for extra information)",`
`840`	`840`	`stmt ++ unfoldPredicate(acc, NullPartialVerificationError, isUnfolding = true, exhaleUnfoldedPredicate = true)`
`841`		`- // skip removing the predicate instance, since this will have happened earlier in the assertion being exhaled`
`842`	`841`	`)`
`843`	`842`	`duringUnfoldingExtraUnfold = false`
`844`	`843`	`result`