diff --git a/src/init.rs b/src/init.rs index c5c7325..0d044bc 100644 --- a/src/init.rs +++ b/src/init.rs @@ -238,6 +238,7 @@ pub fn init(args: InitArgs) -> Init { } }; + app.evaluate_prelude(&link); app.mark_all_patterns_dirty(); Init {