@@ -102,7 +102,8 @@ buildDepMap ci ctx ns = addPostulates $ dfs S.empty M.empty ns
102102
103103 -- these have been discovered as builtins but are not listed
104104 -- among Idris.Primitives.primitives
105− , mn "__MkPair" [0,1]
105+ , mn "__MkPair" [0,1]
106+ , it "prim_fork" [0]
106107
107108 -- believe_me only uses its third argument
108109 -- it is special-cased in usedNames above