Commit 43fed0d2 authored by Marc Coiffier's avatar Marc Coiffier
Browse files

Successful build (on Thu May 2 01:36:33 CEST 2019)

parent a5692430
......@@ -554,7 +554,7 @@ type_of = yb maybeT . go
rec_subst (y:t) (Bind Prod _ tx e) = do
ty <- go y
_ <- return (convertDelta tx ty)^.maybeT
_ <- return (convertDelta ty tx)^.maybeT
rec_subst t (subst y e)
rec_subst [] x = return x
rec_subst _ _ = zero
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment