[ experim ] Just set top instead of bot in the processRunElab

buzden · Aug 10, 2023 · 40cdb19 · 40cdb19
1 parent 10f3237
commit 40cdb19
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/TTImp/ProcessRunElab.idr b/src/TTImp/ProcessRunElab.idr
@@ -39,5 +39,5 @@ processRunElab eopts nest env fc tm
          exp <- appCon fc defs n [unit]
 
          e <- newRef EST $ initEStateSub tidx env SubRefl
-         (stm, _) <- check bot (initElabInfo InExpr) nest env tm $ Just $ gnf env exp
+         (stm, _) <- check top (initElabInfo InExpr) nest env tm $ Just $ gnf env exp
          ignore $ elabScript top fc nest env !(nfOpts withAll defs env stm) Nothing