@@ -194,7 +194,7 @@ buildDepMap ci ctx mainName = addPostulates $ dfs S.empty M.empty [mainName]
194194
195195 -- these have been discovered as builtins but are not listed
196196 -- among Idris.Primitives.primitives
197− , mn "__MkPair" [0,1]
197+ , mn "__MkPair" [2,3]
198198 , it "prim_fork" [0]
199199
200200 -- believe_me is a primitive but it only uses its third argument