@@ -1282,7 +1282,7 @@ elab ist info emode opts fn tm
1282 elab' ina (Just fc') tm
1282 elab' ina (Just fc') tm
1283 script <- get_guess
1283 script <- get_guess
1284 fullyElaborated script
1284 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
1286 env <- get_env
1286 env <- get_env
1287 runElabAction info ist (maybe fc' id fc) env script ns
1287 runElabAction info ist (maybe fc' id fc) env script ns