edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2025-01-07 05:36:30 +03:00
Code Issues Projects Releases Wiki Activity

Remove unnecessary solveConstraints

Browse Source
This commit is contained in:
Edwin Brady 2020-01-13 11:49:16 +00:00
parent fe74d6bb7c
commit d619c09ba3
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/TTImp/Elab.idr
View File

@ -106,7 +106,6 @@ elabTermSub {vars} defining mode opts nest env env' sub tm ty
InLHS _ => InLHS InLHS _ => InLHS
_ => InTerm _ => InTerm
solveConstraints solvemode Normal solveConstraints solvemode Normal
solveConstraints solvemode Normal
logTerm 5 "Looking for delayed in " chktm logTerm 5 "Looking for delayed in " chktm
ust <- get UST ust <- get UST
catch (retryDelayed (reverse (delayedElab ust))) catch (retryDelayed (reverse (delayedElab ust)))