Fix whitespace
commit5fc838da2f10482eb6a24275a16577a6069af355
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 31 Mar 2017, 17:00 (10 years ago)
parentcf5ab6b
src/Idris/Elab/Implementation.hs+1−1
@@ -102,7 +102,7 @@ elabImplementation info syn doc argDocs what fc cs parents acc opts n nfc ps pex
102102
103103 ist <- getIState
104104 checkInjectiveArgs fc n (interface_determiners ci) (lookupTyExact iname (tt_ctxt ist))
105−
105+
106106 when (what /= ETypes && (not (null ds && not emptyinterface))) $ do
107107 -- Add the parent implementation names to the privileged set
108108 oldOpen <- addOpenImpl parents