From ce504c870848de241ff2614f62c1f7e37c211838 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Wed, 17 May 2023 13:02:25 -0700 Subject: [PATCH] vocabs.loader: unset main, fixes a refresh issue --- core/vocabs/loader/loader.factor | 1 + 1 file changed, 1 insertion(+) diff --git a/core/vocabs/loader/loader.factor b/core/vocabs/loader/loader.factor index 458bfc4016..44a027d18f 100644 --- a/core/vocabs/loader/loader.factor +++ b/core/vocabs/loader/loader.factor @@ -115,6 +115,7 @@ require-when-table [ V{ } clone ] initialize : load-source ( vocab -- ) dup check-vocab-hook get call( vocab -- ) [ + f >>main +parsing+ >>source-loaded? dup vocab-source-path [ parse-file ] [ [ ] ] if* [ +parsing+ >>source-loaded? ] dip -- 2.34.1