| Some _, rv :: rvs when csno = vsno && H.is_not_atomic rv ->
let x = C.Appl (t :: List.rev rvs @ [define rv]) in
HLog.warn "Optimizer: anticipate 3"; opt1_proof g true c x
- | Some _, _ ->
+ | _ (* Some _, _ *) ->
g (C.Appl (t :: vs))
- | None, _ ->
+(* | None, _ ->
aux false [] (vs, classes)
- in
+*) in
let rec aux h prev = function
| C.LetIn (name, vv, tt) :: vs ->
let t = S.lift 1 t in