Merge pull request #3340 from zjhmale/fix-typo
fix typo Becuase to Because
commitace75af35bcae8c249a7d821333b72605a521265
authorNiklas Larsson <metaniklas@gmail.com>
dateSat 6 Aug 2016, 12:12 (10 years ago)
parentedb5d93321f131
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