@@ -1542,7 +1542,7 @@ runTactical fc ctxt env tm = runTacTm (eval tm) >> return ()
15421542 (Var (reflm "TT"))
15431543 | n == tacN "prim__SourceLocation", [] <- args
15441544 = fmap fst . get_type_val $
1545− reflectFC fc
1545+ reflectFC fc
15461546 | n == tacN "prim__Env", [] <- args
15471547 = do env <- get_env
15481548 fmap fst . get_type_val $ reflectEnv env
@@ -1550,7 +1550,7 @@ runTactical fc ctxt env tm = runTacTm (eval tm) >> return ()
15501550 = do parts <- reifyReportParts (eval errs)
15511551 lift . tfail $ ReflectionError [parts] (Msg "")
15521552 | n == tacN "prim__PureTactical", [_a, tm] <- args
1553− = return tm
1553+ = return tm
15541554 | n == tacN "prim__BindTactical", [_a, _b, first, andThen] <- args
15551555 = do let first' = eval first
15561556 res <- runTacTm first'