@@ -194,7 +194,7 @@ saveInaccArgs n is = do
194194
195195-- Get the list of (index, name) of inaccessible arguments from the type.
196196inaccessibleArgs :: Int -> PTerm -> [(Int, Name)]
197−inaccessibleArgs i (PPi (Imp _ _ _ _) n Placeholder t)
197+inaccessibleArgs i (PPi (Imp _ _ _) n Placeholder t)
198198 = (i,n) : inaccessibleArgs (i+1) t -- unbound implicit
199199inaccessibleArgs i (PPi plicity n ty t)
200200 | InaccessibleArg `elem` pargopts plicity