Commit 7d3bbb17 authored by Marc Coiffier's avatar Marc Coiffier
Browse files

Successful build (on Thu Dec 6 13:32:38 CET 2018)

parent fd1b1d94
......@@ -161,7 +161,7 @@ instance (Show a,IsCapriconString str,MonadReader (Env str a) m,Monad m) => COCE
hi <- hypIndex h
ContextNode dm vh' <- pullTerm vh
first (\f cv@(ContextNode d v) ->
if d+hi <= dm then cv
if d+hi < dm then cv
else ContextNode (d-1) (inc_depth (d-dm) $ f $ inc_depth (dm-d) v)) <$>
substHyp h vh'
insertHypBefore h h' cth' = do
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