Merge pull request #129 from jad-hamza/no-view

vkuncak · web-flow · commit 1b17cb4d38df · 2021-02-23T15:12:48.000+01:00
No view
diff --git a/src/main/scala/inox/ast/GenTreeOps.scala b/src/main/scala/inox/ast/GenTreeOps.scala
@@ -64,9 +64,7 @@ trait GenTreeOps { self =>
     val rec = fold(f) _
     val Deconstructor(es, _) = e
 
-    //Usages of views makes the computation lazy. (which is useful for
-    //contains-like operations)
-    f(e, es.view.map(rec))
+    f(e, es.map(rec))
   }
 
 

Original file line number	Diff line number	Diff line change
`@@ -64,9 +64,7 @@ trait GenTreeOps { self =>`
`64`	`64`	`val rec = fold(f) _`
`65`	`65`	`val Deconstructor(es, _) = e`
`66`	`66`
`67`		`- //Usages of views makes the computation lazy. (which is useful for`
`68`		`- //contains-like operations)`
`69`		`- f(e, es.view.map(rec))`
	`67`	`+ f(e, es.map(rec))`
`70`	`68`	`}`
`71`	`69`
`72`	`70`