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