fix typo Becuase to Because
commit321f13144540b1bea6dcf609faa872f5b0230a5f
authorzjhmale <zjhmale@gmail.com>
dateSat 6 Aug 2016, 16:40 (10 years ago)
parentedb5d93
src/Idris/Elab/Term.hs+1−1
@@ -1282,7 +1282,7 @@ elab ist info emode opts fn tm
12821282 elab' ina (Just fc') tm
12831283 script <- get_guess
12841284 fullyElaborated script
1285− solve -- eliminate the hole. Becuase there are no references, the script is only in the binding
1285+ solve -- eliminate the hole. Because there are no references, the script is only in the binding
12861286 env <- get_env
12871287 runElabAction info ist (maybe fc' id fc) env script ns
12881288 solve