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

No view

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))
   }