@@ -1273,7 +1273,6 @@ loadInputs h inputs
12731273 ninputs
12741274 inew <- getIState
12751275 let tidata = idris_tyinfodata inew
1276− let lineapps = idris_lineapps inew
12771276 let patdefs = idris_patdefs inew
12781277 -- If it worked, load the whole thing from all the ibcs together
12791278 case errSpan inew of
@@ -1284,7 +1283,6 @@ loadInputs h inputs
12841283 _ -> return ()
12851284 ist <- getIState
12861285 putIState (ist { idris_tyinfodata = tidata,
1287− idris_lineapps = lineapps,
12881286 idris_patdefs = patdefs }))
12891287 (\e -> do i <- getIState
12901288 case e of
@@ -1303,13 +1301,11 @@ loadInputs h inputs
13031301 -- FIXME: Save these in IBC to avoid this hack! Need to
13041302 -- preserve it all from source inputs
13051303 let tidata = idris_tyinfodata inew
1306− let lineapps = idris_lineapps inew
13071304 let patdefs = idris_patdefs inew
13081305 ok <- noErrors
13091306 when ok $ do when (not keepstate) $ putIState ist
13101307 ist <- getIState
13111308 putIState (ist { idris_tyinfodata = tidata,
1312− idris_lineapps = lineapps,
13131309 idris_patdefs = patdefs })
13141310 tryLoad keepstate fs
13151311